Lecture 11: Composing Infinity
How a Million Tiny Functions and a Zero-Cost Thunk Walk into a Bar and Crash the JVM—Until the Type System Kicks Them Out
The opening chapter of this lecture sets the scene by recalling the problem that motivated the lecture, namely the desire to separate program description from its evaluation so that code becomes easi…