15-312 Foundations of Programming Languages
Lecture 15: Monads

In this lecture we explore an alternative approach to integrating effects into a functional language. By using monads we can isolate effect-full expressions from effect-free (pure) expressions. We consider both the generic framework of monads, and how they isolate effects, and the specific instantiation of the framework for references.

At the end of the lecture we give a brief overview of the material to be covered in the midterm, which includes the whole course so far except for the material on grammars and Lectures 14 and 15 on storage effects and monads.

[ Home | Schedule | Assignments | Software | Resources ]

Frank Pfenning