News for hackers. Stuff that matters.

A comment on Cancelable Promises: Why was this proposal withdrawn?. Parent comment

Re:Cancelable Promises: Why was this proposal withdrawn? by zeahfj on Monday December 19, 2016 @01:36PM (#13213734)
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.
[ Parent | on HN ]
Re:Cancelable Promises: Why was this proposal withdrawn? by spion on Monday December 19, 2016 @02:32PM (#13214292)
If the monad laws don't hold, its not a monad. I demonstrated the first law not holding, therefore promises are not a monad.
[ Parent | on HN ]