This lesson is for subscribers
You've completed the free preview. Subscribe to unlock every lesson in every course.
Lesson 2012 of 2,872·45. Type Systems and SemanticsPro lesson
Principal Types and Most General Unifiers
Understanding why type inference produces the most general type possible.