racket/typed-racket

TR should provide a Dictionary type

Ouverte

#31 ouverte le 21 févr. 2015

Voir sur GitHub
 (0 commentaire) (0 réaction) (0 personne assignée)Racket (106 forks)github user discovery
good first issue

Métriques du dépôt

Stars
 (576 étoiles)
Métriques de merge PR
 (Merge moyen 11j 14h) (1 PR mergée en 30 j)

Description

It would be nice if TR provided a built-in Dictionary type. At its simplest, it would just be (U (HashTable a b) (Listof (Pairof a b)), but vectors are also technically dictionaries.

Does TR's type system allow "specializations" of types? I.e. some way to define a special case for (Dictionary Integer b) that includes vectors?

Technically, dictionaries also include structures that implement gen:dict, but obviously generics don't exist in TR yet.

Guide contributeur

Direction de recherche
Étudiez l'interface dict existante dans Racket et le système de types de Typed Racket. Regardez comment les types intégrés comme List et HashTable sont définis dans Typed Racket. Comprenez le mécanisme de spécialisation pour les types.
Stack technique
Aucun
Domaine
compilers
Type d'issue
Fonctionnalité
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.
3-5 jours
Statut d'activitéDisponibilité apparente de l'issue : fraîche, active, ancienne, bloquée ou en attente d'un mainteneur.
Ancienne
ClartéClarté avec laquelle l'issue explique le changement attendu, les critères d'acceptation et la prochaine étape.
Claire
Prérequis
RacketTyped Racket
Accessibilité débutantScore de 1 à 100 estimant l'accessibilité de cette issue pour un premier contributeur.
30