Things that Idris improves things over Haskell

Re:Things that Idris improves things over Haskell by hesselink on Friday June 16, 2017 @11:45AM (#14569959)

There are several packages on hackage offering a type safe printf. Some use TH, some use variadic functions (defined with a type class) or other advanced type level features.

[ Parent | on HN ]

Re:Things that Idris improves things over Haskell by dllthomas on Friday June 16, 2017 @12:09PM (#14570153)

Variadic functions are used in the package under discussion, and don't get you compile time checking of the format string.

[ Parent | on HN ]