Ad-hoc type synonyms in type instantiations
Open
0. parsing
1. type inference
- Dominant language
- OCaml
- Stars
- 45
- Forks
- 28
- PR merge metrics
- No merged PRs in 30d
Description
Following ideas from #228 we could add similar feature for type instantiations. For instance, the example from #226 could be written as.
```
data Map Key = ...
let make {Key} = Map
{ T X = List (Pair Key X)
, ...
}
```
However, this feature should not be implemented just as a syntactic sugar (or we will have to deal with type-level lambda abstraction in unification). This kind of explicit instantiation should be implemented directly.
Contributor guide
No contributing guide indexed for this repository
Assessment
This issue has not been assessed yet.