This lesson is for subscribers
You've completed the free preview. Subscribe to unlock every lesson in every course.
Lesson 2014 of 2,872·45. Type Systems and SemanticsPro lesson
Type Inference Limitations
Cases where complete type inference is undecidable or requires annotations.