Programming Concepts

Contents

Monads

Monads as described in Monads for functional programming [Philip Wadler, 1992]

• 01 Introduces a basic evaluator and outlines the concepts of exceptions, state and output
• 02 Presents the monadic solutions to those concepts
• 03 Concludes with the monad laws

"Shall I be pure or impure?"

A monad is a triple (M,unit,★) consisting of a type constructor M and two operations of the given polymorphic types.

Continuation Passing Style

TODO

Y-Combinator

TODO