Page History

...

Recognize that the path to Valhalla is long, there are number of open issues facing inline types. We wish to solve these incrementally. Fully generic specialization of inline types with clear and sensible migration rules are going to take more than a single prototype.

Prototypes

• "LW1" - Minimal L-World

• "LW2" - Inline types and indirect projections