domingo, 11 de maio de 2014

Mathematics and Programming

Three examples, with monads  and other constructs, showing that mathematical concepts, and functional programming, are the way to clear and error-free programs. Difficult perhaps. But worthy.

The Curse of the Excluded Middle

 Monads and Programming

Functors, Applicatives, And Monads In Pictures