ideas from category theory. Notable bits include: comonads,
adjunctions, and various recursion schemes a'la the research paper
"Functional Programming with Bananas, Lenses, Envelopes and
Barbed Wire".
WWW: http://comonad.com/reader/
PR: ports/142142
Submitted by: Jacula Modyun <jacula(at)gmail.com>