ML’s Type Inference and Polymorphism
Examples of Type Inference in Function Definitions
More Examples (using an alternative syntax for function definition)
A Polymorphic Function
Polymorphism with Two Type Variables
Generalized Types vs Overloaded Operators
Type Inference as Constraint Satisfaction
Constraint Satisfaction Outcomes
Constraint Satisfaction Process
What Good is Type Inference?
Email: tanimoto@cs.washington.edu
Home Page: http://www.cs.washington.edu/people/faculty/tanimoto.html
Download presentation source