- jeder neue Bezeichner bekommt eine neue Typvariable
- jede Benutzung eines Bezeichners erzeugt ein Typconstraint
- (Teil-)Programm bestimmt Constraintsystem
- Lösung ist Zuordnung: Bezeichner
Typ
- Lösung existiert? ist eindeutig?
das Constraint-Lösen ist hier das Unifizieren
2009-11-20
