4 ms·
Ah hello again. Pretty much everything you wrote has a reasonable correct interpretation apart from this > This is what monads really are. which is incorrect
by tome 13y ago
Ah hello again. Pretty much everything you wrote has a reasonable correct interpretation apart from this
> This is what monads really are.
which is incorrect.
- dschiptsov 13y agoOK. It is a concept from the category theory.)
- tome 13y agoKind of, though Haskell's monads are much more specific than those of category theory.
- dschiptsov 13y agoA tuple/triple of functions of certain signatures?)
- tome 13y agoNo, a Category k a b such that k a b is isomorphic to a -> k () b. A Haskell Category is again more specific than a general category though! http://web.jaguarpaw.co.uk/~tom/blog/posts/2012-09-02-what-is-a-monad-really.html http://web.jaguarpaw.co.uk/~tom/blog/posts/2012-09-02-what-i...