Type Inference Prototype

[radeusgd]

A group ticket to track high-level roadmap for the type inference prototype.

• Basic type propagation, starting from literals and atom constructors through typed local function calls
  Prototype for type inference IR pass #8590
  • PR Type Inference PoC - iteration 1 - most basic type inference #8652 - ready but waiting on Support cycles in the serialized IR structure #9361 to be able to be integrated.
• Propagating through method calls on types Inferring types of method calls on Atoms #9812
• Handling of default arguments
  • Needed because most of our standard library methods have default arguments, so a type inference that bails out in presence of defaults is rather useless.
  • Handling of named arguments, possibly done together or split off.
• We could consider introducing a warning on discarded non-Nothing values if we infer such cases: Static linting pass for not-fully appplied functions #5431
• Send inferred types to the IDE before the result is yet computed to improve node coloring etc.
• Handling of Conversions
  • Needed to be able to actually report type-errors (as warnings).
  • Reporting type warnings.

Tasks

Preview Give feedback

1. Prototype for type inference IR pass #8590
   -compiler -type-system x-new-feature +3
   
2. Inferring types of method calls on Atoms #9812
   -type-system +1