Dotty and types: the story so far
summary
Dotty implements a compact, practical type-parameter inference engine (~300 lines) that delays instantiation until needed, chooses lower or upper bounds based on covariance/contravariance, and applies special-case rules for lambdas and implicit search so common Scala pitfalls disappear. The compiler adds new instantiation rules and union and singleton types with selective widening, supports named type arguments for partial explicitness, and shows the prototype is usable: inference works in more cases than Scala’s compiler and keeps behavior predictable while remaining implementable.
AI-written summary · about
chapters (6)
- 0:00Start
- 0:16Type Parameter Inference
- 1:36How Typing Works
- 3:20The Art of Instantiation
- 16:39Implicit Charge
- 21:19Union Types
