Lecture 11: Inside Haskell.

But how do lazy streams actually work? In order to demonstrate this, we refine the operational semantics from the previous lectures, and add environments, closures, and recursion. This Mini-Haskell can easily be extended by other constructs. Homework 2 is about implementing this system.

In the second part of the lecture we discuss a type system for Mini-Haskell.

Further Reading:

Previous lecture: Lecture 10
Next lecture: Lecture 12