Re:Things that Idris improves things over Haskell
by vorg on Friday June 16, 2017 @06:07PM
(#14572995)
It's been almost a decade since I used Apache Groovy, but I don't remember its printf being type safe. Its method signature is
and it evaluates types at runtime.
[ Parent
| on HN ]
There are no comments on this comment yet.