15-212: Principles of Programming

We discuss higher order functions, spcecifically, passing functions as arguments, returning functions as values, and mapping functions over recursive data structures. Key to understanding functions as first class values is understanding the lexical scoping rules.

We discuss staged computation based on function currying.

Key Concepts

• Currying
• Closure
• Staging

Sample Code

On-line Notes by Robert Harper

• Functionals

Suggested Reading in Programming in Standard ML:

• Chapter 11: Higher-Order Functions

[ CS 15-212 Home page | schedule | language | assignments | handouts ]

Michael Erdmann