ML’s Type Inference and Polymorphism

10/30/01


Click here to start


Table of Contents

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?

Author: Steven L. Tanimoto

Email: tanimoto@cs.washington.edu

Home Page: www.cs.washington.edu/people/faculty/tanimoto.html

Download presentation source