Description
Currently there's no technical documentation (in our docs/ directory) for the current type inference implementation. Let's fix this.
@JaroslavTulach suggested it could include:
I'd like to see the more info on the type propagation algorithm:
- what metadata are consumed?
- what metadata are written?
- what IR classes it looks for (Application probably) and how it derives the new type?
- how does it traverse the tree? From leaves to root?
We can also describe parts of the roadmap that currently lives in https://docs.google.com/document/d/1Tyl5oqgqwd16LdsBXT3VcRkrvOaPguCjK4xbNKN1ZCU/edit?tab=t.0
Metadata
Metadata
Type
Projects
Status