rescript-lang/rescript-lang.org

Document co / contravariance (`<+a>`, `<-a>`)

Ouverte

#149 ouverte le 1 janv. 2021

 (3 commentaires) (2 réactions) (0 personne assignée)MDX (258 forks)github user discovery
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)

Guide contributeur