News for hackers. Stuff that matters.

A comment on Idris 1.0. Parent comment

Re:Idris 1.0 by kobeya on Saturday April 01, 2017 @09:49AM (#14012100)
Yes, but not because laziness was a technical failure, but for something more resembling PR reasons. Haskell's laziness by default ends up being a large stumbling block for many developers not used to thinking in that way.

Although I understand why Idris is strict by default, there is a part of me that dies a little from that understanding :(

[ Parent | on HN ]
Re:Idris 1.0 by mafribe on Saturday April 01, 2017 @10:32AM (#14012281)
The main problem with laziness is that, according to SPJ "[l]aziness makes it much, much harder to reason about performance, especially space."
[ Parent | on HN ]
Re:Idris 1.0 by willtim on Saturday April 01, 2017 @11:41AM (#14012620)
Of course, lazy-by-default also brings many advantages: http://augustss.blogspot.co.uk/2011/05/more-points-for-lazy-...
[ Parent | on HN ]
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.

[ Parent | on HN ]