How would it be less of a Monad than the IO Monad? That's the part I'm not getti... | Hacker News

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

		zeahfj on Dec 19, 2016 \| parent \| context \| favorite \| on: Cancelable Promises: Why was this proposal withdra... How would it be less of a Monad than the IO Monad? That's the part I'm not getting. It would make sense to me if neither were considered monads.

spion on Dec 19, 2016 [–]

If the monad laws don't hold, its not a monad. I demonstrated the first law not holding, therefore promises are not a monad.

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