alpheccar's blog - tag algebra http://www.alpheccar.org en 40 science and freedom http://www.alpheccar.org alpheccar's blog - tag algebra http://www.alpheccar.org/images/avatar.jpg Category Theory and Haskell 3 : Algebras and Monads This is the third part of my serie about Haskell and category theory. In the previous post, I described a bit the Hask category and some categorical constructs. The goal of this text is to understand the meaning of a recursive type like List. For that, we will have to understand what is a free algebra and have a quick look at the relationship with monads (for applications look at the blog of sigfpe). But first, I would like to highlight a problem with the category Hask.

Read More...

]]> Mon, 02 Jul 2007 13:52:59 -0500 urn:uuid:72 webmaster@alpheccar.org http://www.alpheccar.org/en/posts/show/77 http://www.alpheccar.org/en/posts/show/77#comments category theory haskell maths algebra monad