And this is meaningful *only* in the context of a lazy language. In the context ... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		throwaway487549 on Nov 24, 2018 \| parent \| context \| favorite \| on: And Monads for All: The State Monad 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.

gizmo686 on Nov 24, 2018 [–]

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.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact