Lecture 11: Pattern Matching and Unification.

Pattern matching is one of the important techniques in Functional Programming. It attempts to make two terms equal. One that may contain free variables and another that does not.

A more general technique to make two terms equal is that of unificaition. A unifier is a substitution that makes two terms the same. Unification is an important operation when implementing Hindley Milner type inference.

Further Reading:

Previous lecture: Lecture 10
Next lecture: Lecture 12