rescript-lang/rescript-lang.org

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

Aberta

#149 aberto em 1 de jan. de 2021

 (3 comentários) (2 reações) (0 responsável)MDX (258 forks)github user discovery
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)

Guia do colaborador