rescript-lang/rescript-lang.org

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

Aperta

#149 aperta il 1 gen 2021

 (3 commenti) (2 reazioni) (0 assegnatari)MDX (258 fork)github user discovery
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)

Guida contributor