Hacker News Reader

And this is meaningful only in the context of a lazy language.

In the context of strict, statically typed language an algebraic Option type is good-enough.

Maybe is an algebraic Option type. It just happens to implement an interface that abstracts away the if(None) checks that you would be doing anyway. Lazyness has nothing to do with it.

Reply on news.ycombinator.com