4 ms·
This was awesome and yet one more reason to learn Idris. Now I have to see if it can be done in Scala.
by wheaties 12y ago
This was awesome and yet one more reason to learn Idris. Now I have to see if it can be done in Scala.
- paulddraper 12y agoIt can, with macros. Though Scala's stri g interpolation will get you mostly there (correct number of arguments, local format specifiers that are harder to mess up).
- wheaties 12y agoMaybe it doesn't have to be with macros.