rescript-lang/rescript-lang.org
Document co / contravariance (`<+a>`, `<-a>`)
Ouverte
#149 ouverte le 1 janv. 2021
help wantedmanual
Métriques du dépôt
- Stars
- (1 855 étoiles)
- Métriques de merge PR
- (Aucune PR mergée en 30 j)
Description
This one is definitely an advanced topic.
- What does
+and-mean? - What syntax constructs are possible? (type, function, etc.)
- What practical use-cases does it have / Why do we need it?
Things to avoid:
- Complex / too scientific wording
- Too generic examples without practical context
Hints:
- We use a covariant type in
Js.Promise.t(see it here)