- function application (NAAN)
- Type-equality trick + type-witnesses
- GADTs : Trait bounds and type-witnesses
- Limited existential emulation for GADTs using dyn-traits
- HKT embeddings, RATS family pattern, etc
- Recursion (expand collapse, including mutual recursion by emulating HKTs); SEE this inanna-malick/recursion#5
- family-pattern "restricting" https://users.rust-lang.org/t/re-family-pattern-and-restricting-associated-types/126008
- implied bounds hack rust-lang/rust#44491 (comment)
AndreiCravtov/rusty-type-experiments
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|