Hacker News Reader

And Idris even enables a type-safe version: 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.

That's pretty cool. Looking for the text version of it led me to another one more accessible to average programmer:

F# also supports a typesafe printf format notation.