Type stuff
•
Modified form of Hindley-Milner
algorithm “W”
•
Efforts made to handle
–
Mutable types
–
Recursive types
–
Null pointers
–
Uninitialized data
–
Type casts
–
Declaration order
•
