The lambda calculus is the basis for functional programming. Church's encodings in the untyped lambda calculus show an interesting pattern that parallels union types in languages like Haskell. Here I try to show how these discriminated union types can be implemented using only javascript functions.

An article that looks at templates in web development in the context of pure functions and functional programming.

Thoughts on the appropriateness of monads in Clojure.

Following on from looking at state monads in the context of Clojure, this article looks at variations that add different forms of state-m of non-determinism.

A close look at how the state monad is implemented and used in Clojure.