Add docs for how type inference/solving/ability specialization works - Githubissues

roc-lang / roc

A fast, friendly, functional language.

https://roc-lang.org

Universal Permissive License v1.0

4.46k stars 313 forks source link

Add docs for how type inference/solving/ability specialization works #4569

Open ayazhafiz opened 1 year ago

ayazhafiz commented 1 year ago

I find myself reading through a lot of PRs I submitted months ago to re-contextualize. Let's add two types of documentation:

High-level documentation on the strategies we use today
- How open/closed tag unions get solved
- How we do open by default unions
- Recursive tag unions
- Recursive lambda sets
- lambda set specialization (https://github.com/roc-lang/roc/blob/main/crates/compiler/solve/docs/ambient_lambda_set_specialization.md)
- handling polymorphic-optional records
- avoiding admission of polymorphic recursion
- solving opaque type arguments
More doc comments

ayazhafiz commented 1 year ago

I'll do this in https://github.com/roc-lang/roc/pull/5130