[wheaties]

This was awesome and yet one more reason to learn Idris. Now I have to see if it can be done in Scala.

[paulddraper]

It 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]

Maybe it doesn't have to be with macros.