rescript-lang/rescript-lang.org
Document co / contravariance (`<+a>`, `<-a>`)
Aperta
#149 aperta il 1 gen 2021
help wantedmanual
Metriche repository
- Star
- (1855 stelle)
- Metriche merge PR
- (Nessuna PR mergiata in 30 g)
Descrizione
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)