15312 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 effectfull expressions from effectfree (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
]
fp@cs
Frank Pfenning
