News for hackers. Stuff that matters.
Re:Idris 1.0 by solidsnack9000 on Saturday April 01, 2017 @09:01PM (#14015097)
It's not so much a PR failure, as an ergonomics issue -- making laziness the default makes it too easy for people to create performance problems for themselves.

Haskell's laziness undoubtedly works and is useful; you might say it was Haskell's strictness that needed improving.

There are no comments on this comment yet.