sorted by: recent | see :
popular
Content Tagged with category + math
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"
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).
An Introduction to Category Theory, Category Theory Monads, and Their Relationship to Functional Programming (ResearchIndex)
Incorporating imperative features into a purely functional language has become an active area of research within the functional programming community One of the techniques gaining widespread acceptance as a model for imperative functional programming is m
bookmark this on del.icio.us
-
posted
by vrt
to
category
theory
math
programming
haskell
monad
- more about this bookmark...
[長広舌] 圏論メモ 22:16 - みずすまし日記
Haskellのモナドを理解したくて，Wikipediaで圏論を調べて書いた，お勉強メモ。
Page 1 | Next >>
