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 ]
Of course, lazy-by-default also brings many advantages: http://augustss.blogspot.co.uk/2011/05/more-points-for-lazy-...