On October 14 (16:33 -0400), S. Alexander Jacobson wrote with possible deletions:
| Having only recently learned to use Monads and appreciate their
| utility, I am encountering new category-theoretic material in reading
| about arrows in Jansson and Jeuring's Polytypic Compact Printing and
| Parsing paper.
|
| It strikes me that I should just get the basics under my belt rather than
| skipping ahead hear. What is a good place to start learning the
| basics of category theory, monads, and algebra (as in algebraic types not
| high school math) for use in a programming context? Books? Papers?
| Websites?
I can definitely recommend Richard Bird's and Oege de Moor's ``Algebra
Of Programming'' here.
Richard Bird, Oege de Moor
Algebra Of Programming
Prentice Hall Int'l Series in Computer Science, 1997
ISBN 0-13-507245-X
Cheers,
--Torsten
--
| Torsten Grust [EMAIL PROTECTED] |
| http://www.fmi.uni-konstanz.de/~grust/ |
| Database Research Group, University of Konstanz (Lake Constance/Germany) |
