News for hackers. Stuff that matters.
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

  void Object.printf(String, Object)
and it evaluates types at runtime.

There are no comments on this comment yet.