Work in progress
This page outlines the roadmap for linear types.
Issues about linear types are gathered under the LinearTypes tag.
Stage 0: the first patch
Stage 1: user-facing features
- Inferring more multiplicities
- Clean up
- Template Haskell
- Optimisation: promote
- Proposal compliance: #15981
Stage 2: linear Core
Stage 3: performance
- Improve CPR in presence of unrestricted field: #18490
- Having non-reflexivity multiplicity evidence is a bit of a thorny subject. There is a dedicated wiki page to discuss the issue.