Difference between revisions of "Blog articles/Categories"
Jump to navigation
Jump to search
| Line 1: | Line 1: | ||
This page is a link to a blog on translating the book Computational Category Theory by David Rydeheard and Rod Burstall into the Haskell programming language. The main goal is to translate the book's representation of categorical structures in the most elegant and idiomatic way possible. See |
This page is a link to a blog on translating the book Computational Category Theory by David Rydeheard and Rod Burstall into the Haskell programming language. The main goal is to translate the book's representation of categorical structures in the most elegant and idiomatic way possible. See |
||
| + | |||
| + | * [http://hackage.haskell.org/cgi-bin/hackage-scripts/package/category-extras A Haskell package with categorical constructions] |
||
* [http://groups.google.com/group/comp.lang.haskell/browse_thread/thread/248af04bc2d1c06c# Discussion on translating Chapter 3] |
* [http://groups.google.com/group/comp.lang.haskell/browse_thread/thread/248af04bc2d1c06c# Discussion on translating Chapter 3] |
||
Latest revision as of 19:30, 16 October 2008
This page is a link to a blog on translating the book Computational Category Theory by David Rydeheard and Rod Burstall into the Haskell programming language. The main goal is to translate the book's representation of categorical structures in the most elegant and idiomatic way possible. See