CPSC 429/529: Functional Programming
Instructor: Carsten Schürmann
Department of Computer Science
Yale University
Time: MWF 9:30-10:20
Room: AKW200
|
|
Home |
|
|
Schedule |
|
|
Handouts |
|
|
Assignments |
|
|
Projects |
|
|
Links |
Lecture 12: Programming with State.
When programming with substitutions, global updates may have to take place. One elegant, but difficult to control technique is that of destructive update, or programming with references.
The lecture presents features in ML on how to program unification using state.
Source Code:
Further Reading:
Previous lecture: Lecture 11
Next lecture: Lecture 13