News for hackers. Stuff that matters.
Re:Dependent Haskell Is the Future (2018) by ferzul on Friday August 16, 2019 @08:20AM (#20714377)
> whereas laziness lets you use bottom

in principle, only if you can prove you don't use the result. there's nothing wrong with not calculating a value that doesn't exist.

There are no comments on this comment yet.