On 13 April 2011 21:26, Tim Chevalier catamorph...@gmail.com wrote:
IO doesn't obey the monad laws, due to the presence of seq in Haskell.
Sad but true...
See also a previous discussion about IO and the Monad laws:
http://www.haskell.org/pipermail/haskell-cafe/2010-March/074001.html
2011/4/12 Burak Ekici ekcbu...@hotmail.com:
Dear List,
I am quite new in Haskell's categorical manner of programming. However I
have enough knowledge in Category Theory.
I want to ask a question, maybe very well-known one by some of you, about
monads of Haskell.
For the type constructors
Dear List,
I am quite new in Haskell's categorical manner of programming. However I have
enough knowledge in Category Theory.
I want to ask a question, maybe very well-known one by some of you, about
monads of Haskell.
For
the type constructors like Maybe and [], I managed to prove that
As for Cont, it can be proved easily, either by hand, or by observation that
Cont is an obvious composition of two adjoint functors.
As for IO, it has to be taken for granted, since IO internals are hidden from
the programmer.
Отправлено с iPhone
Apr 12, 2011, в 14:39, Burak Ekici