Dave-86 wrote:
Given the amount of material posted at haskell.org and elsewhere
explaining IO, monads and functors, has anyone considered publishing
a comprehensive book explaining those subjects? (I am trying to
read all the material online, but books are easier to read and don't
On 3/27/07, Dave at haskell.org Dave at haskell.org wrote:
Given the amount of material posted at haskell.org and elsewhere
explaining IO, monads and functors, has anyone considered publishing
a comprehensive book explaining those subjects? (I am trying to
read all the material online,
Given the amount of material posted at haskell.org and elsewhere
explaining IO, monads and functors, has anyone considered publishing
a comprehensive book explaining those subjects? (I am trying to
read all the material online, but books are easier to read and don't
require sitting in front of a
On 3/27/07, [EMAIL PROTECTED] [EMAIL PROTECTED] wrote:
Given the amount of material posted at haskell.org and elsewhere
explaining IO, monads and functors, has anyone considered publishing
a comprehensive book explaining those subjects? (I am trying to
read all the material online, but books
On 3/27/07, [EMAIL PROTECTED] [EMAIL PROTECTED] wrote:
Given the amount of material posted at haskell.org and elsewhere
explaining IO, monads and functors, has anyone considered publishing
a comprehensive book explaining those subjects? (I am trying to
read all the material online, but books
Categories for the Working Mathematician a couple of months ago, and while
it sometimes takes a bit of work it's a very good introduction. The only
caution I have is that if you don't have that strong of a math background,
or hadn't done it in a few years (like myself), you may have to lookup
On 3/27/07, Dan Piponi [EMAIL PROTECTED] wrote:
On 3/27/07, [EMAIL PROTECTED] [EMAIL PROTECTED] wrote:
Given the amount of material posted at haskell.org and elsewhere
explaining IO, monads and functors, has anyone considered publishing
a comprehensive book explaining those subjects? (I am
Creighton Hogg wrote:
On 3/27/07, *Dan Piponi* [EMAIL PROTECTED] mailto:[EMAIL PROTECTED]
wrote:
On 3/27/07, [EMAIL PROTECTED] mailto:[EMAIL PROTECTED]
[EMAIL PROTECTED] mailto:[EMAIL PROTECTED] wrote:
Given the amount of material posted at haskell.org
http://haskell.org
Haskell borrows from CT but it is too much engineered to be a model for
computational CT.
However you can study it with CT:
http://www.cs.ut.ee/~varmo/papers/thesis.pdf
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
I've thought about writing extended tutorials on the relationship
between Haskell programming and category theory
you might find this a useful reference/starting point then:
http://citeseer.ist.psu.edu/62964.html
An Introduction to Category Theory, Category Theory Monads,
and Their
10 matches
Mail list logo