ericelliott/rtype

declaration-site variance annotations of generic type arguments

Open

#81 ouverte le 14 avr. 2016

Voir sur GitHub
 (6 commentaires) (0 réactions) (0 assignés)JavaScript (1 128 stars) (46 forks)batch import
help wantedstrawman

Description

Declaration-site variance annotations in other languages

C#, Kotlin, Ceylon:

  • out covariance
  • in contravariance

Scala, OCaml, Flow:

  • + covariance
  • - contravariance

What should we choose? (see discussion about generic types in #55 and #80)

Guide contributeur

Stack technique
javascript
Domaine
developer experience
Type d'issue
feature
DifficultéDifficulté estimée pour un nouveau contributeur, de 1 pour un très petit changement à 5 pour un travail expert.
4
Temps estiméFourchette de temps approximative pour investiguer, implémenter, tester et préparer une pull request.
over 1 week
Statut d'activitéDisponibilité apparente de l'issue : fraîche, active, ancienne, bloquée ou en attente d'un mainteneur.
stale
ClartéClarté avec laquelle l'issue explique le changement attendu, les critères d'acceptation et la prochaine étape.
mostly clear
Prérequis
Understanding of type variance concepts
Accessibilité débutantScore de 1 à 100 estimant l'accessibilité de cette issue pour un premier contributeur.
10
Direction de recherche
Review the discussion in issues #55 and #80, and examine how other languages implement variance annotations (C#, Kotlin, Scala, etc.). The community needs to decide on a syntax (e.g., out/in or +/ ). Consider contributing a proposal or poll within the issue to reach consensus. No code changes are required yet; this is a design discussion.