News for hackers. Stuff that matters.

A comment on Effectful Haskell: IO, Monads, Functors. Parent comment

Re:Effectful Haskell: IO, Monads, Functors by rndn on Saturday August 29, 2015 @01:02PM (#10140630)
Can you elaborate a bit on the last sentence? What exactly are the relations and what is the set?
[ Parent | on HN ]
Re:Effectful Haskell: IO, Monads, Functors by freyrs3 on Saturday August 29, 2015 @01:20PM (#10140696)
If you want a description of the monad laws in Haskell terms you can Google and find like 80 expositions on the topic of various depths.

If you want a mathematical exposition. "Category Theory" by Awodey page 265 is a concise description.

[ Parent | on HN ]