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