sorted by: recent | see : popular

Content Tagged with category + functional

"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"

<sep/>operational semantics makes it ideal for implementation in a functional programming language such as Haskell.

General (nearly all monads compose), mathematically elegant (use the standard categorical tools underpinning monads) and computationally expressive (support a canonical recursion operator).

It's like talking about electricity without using calculus. Good enough to replace a fuse, not good enough to design an amplifier.