5 ms·
And Idris even enables a type-safe version: https://www.youtube.com/watch?v=fVBck2Zngjo https://www.youtube.com/watch?v=fVBck2Zngjo So if you mismatch the type
by capisce 11y ago
And Idris even enables a type-safe version: https://www.youtube.com/watch?v=fVBck2Zngjo https://www.youtube.com/watch?v=fVBck2Zngjo
So if you mismatch the types you'll get a compile time error instead of a run time error.
- nickpsecurity 11y agoThat's pretty cool. Looking for the text version of it led me to another one more accessible to average programmer: http://www.codeproject.com/Articles/159910/Extremely-Efficient-Type-safe-printf-Library http://www.codeproject.com/Articles/159910/Extremely-Efficie...
- deleted 11y ago[deleted]
- tmzt 11y agoF# also supports a typesafe printf format notation. http://fsharpforfunandprofit.com/posts/printf/ http://fsharpforfunandprofit.com/posts/printf/