sorted by: recent | see :
popular
Content Tagged with category + haskell
Recursion Schemes: A Field Guide (Edward Kmett)
"taxonomize a list of the general recursion schemes I have seen, cite the original references for them where available, and provide a concise implementation of each and try to motivate the connections between them"
Category Theory implementations in Haskell
this is what i have been reading category theory for
Haskell/Category theory - From Wikibooks, the open-content textbooks collection
This article attempts to give an overview of category theory, insofar as it applies to Haskell. To this end, Haskell code will be given alongside the mathematical definitions. Absolute rigour<sep/>
Graham Hutton: Publications
<sep/>operational semantics makes it ideal for implementation in a functional programming language such as Haskell.
Composing monads using coproducts
General (nearly all monads compose), mathematically elegant (use the standard categorical tools underpinning monads) and computationally expressive (support a canonical recursion operator).
Page 1 | Next >>
