Hacker News new | past | comments | ask | show | jobs | submit login

>The point is that Monad, Applicative and Functor are well defined interfaces with laws (properties) you can count on.

except you can't because you can have unlawful implementations.




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

Search: