22 Dec
2015
22 Dec
'15
10:59 p.m.
Am 23.12.2015 um 04:00 schrieb wren romano:
To play the celestial advocate: the ability to not care about strictness/laziness when writing a function is precisely what causes it to be hard to reason about the space/time costs of that function.
Sure. I'm not disputing well-known facts, I'm just wondering that the paper highlights just the problems and does not put them into proportion to the advantages.