racket/typed-racket

TR should provide a Dictionary type

Aperta

#31 aperta il 21 feb 2015

Vedi su GitHub
 (0 commenti) (0 reazioni) (0 assegnatari)Racket (106 fork)github user discovery
good first issue

Metriche repository

Star
 (576 stelle)
Metriche merge PR
 (Merge medio 11g 14h) (1 PR mergiata in 30 g)

Descrizione

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.

Guida contributor

Direzione di ricerca
Studia l'interfaccia dict esistente in Racket e il sistema di tipi di Typed Racket. Guarda come i tipi built in come List e HashTable sono definiti in Typed Racket. Comprendi il meccanismo di specializzazione per i tipi.
Tech stack
Nessuno
Dominio
compilers
Tipo issue
Funzionalità
DifficoltàQuanto dovrebbe essere impegnativa per un nuovo contributor.
4
Tempo stimatoTempo stimato per completare e verificare uno scope piccolo.
3-5 giorni
Stato attivitàQuanto è probabile che la issue sia ancora attiva e reviewable.
Datata
ChiarezzaQuanto chiaramente la issue descrive problema, scope e risultato atteso.
Chiara
Prerequisiti
RacketTyped Racket
Adatta ai principiantiQuanto la issue è adatta a contributor alla prima esperienza.
30