rescript-lang/rescript-lang.org
Document co / contravariance (`<+a>`, `<-a>`)
Aberta
#149 aberto em 1 de jan. de 2021
help wantedmanual
Métricas do repositório
- Stars
- (1.855 estrelas)
- Métricas de merge de PR
- (Nenhuma PRs mesclada em 30d)
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)