Le Sun, 25 Nov 2012 21:41:47 +,
Gytis Žilinskas gytis.zilins...@gmail.com a écrit :
Greetings,
I'm only taking my very first steps learning Haskell, but I believe
that this mailing list might be appropriate for my question.
How difficult would it be to study category theory and
Greetings,
I'm only taking my very first steps learning Haskell, but I believe
that this mailing list might be appropriate for my question.
How difficult would it be to study category theory and simultaneously
come up with Haskell examples of various results that it presents?
I believe some
The general idea of category theory is to come up with formalizations of
common abstract patterns found in mathematical constructs. For example,
there are homomorphisms of groups, vector spaces (under linear
transformations), topological spaces (under continuous functions), etc.
Category theory
Gytis Žilinskas gytis.zilins...@gmail.com writes:
How difficult would it be to study category theory and simultaneously come
up with Haskell examples of various results that it presents?
There are some aspects of CT that you will not be able to express in Haskell
easily (try encoding the
Is there any text/article which makes precise/rigorous/explicit the connection
between the category theoretic definition of monad with the haskell
implementation?
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
On 14/08/05, Carl Marks [EMAIL PROTECTED] wrote:
Is there any text/article which makes precise/rigorous/explicit the connection
between the category theoretic definition of monad with the haskell
implementation?
Well, a monad over a category C is an endofunctor T on C, together
with a pair of
The explanation given below might be a bit heavy for someone who didn't know
much
about category theory. For those individuals I'd recommend Phil Wadler's
papers:
http://homepages.inf.ed.ac.uk/wadler/topics/monads.html
I especially recommend Monads for Functional Programming, The Essence of