racket/typed-racket

TR should provide a Dictionary type

Offen

#31 geöffnet am 21.02.2015

Auf GitHub ansehen
 (0 Kommentare) (0 Reaktionen) (0 zugewiesene Personen)Racket (106 Forks)github user discovery
good first issue

Repository-Metriken

Stars
 (576 Sterne)
PR-Merge-Metriken
 (Durchschn. Merge 11T 14h) (1 gemergte PR in 30 T)

Beschreibung

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.

Contributor Guide

Research-Richtung
Studieren Sie die vorhandene Dict Schnittstelle in Racket und das Typsystem von Typed Racket. Sehen Sie sich an, wie eingebaute Typen wie List und HashTable in Typed Racket definiert sind. Verstehen Sie den Spezialisierungsmechanismus für Typen.
Tech Stack
Keine
Domain
compilers
Issue Type
Funktion
SchwierigkeitGeschätzte Implementierungsschwierigkeit für neue Contributors, von 1 für sehr kleine Änderungen bis 5 für Expertenarbeit.
4
Geschätzte ZeitEin grober Zeitrahmen, um zu recherchieren, zu implementieren, zu testen und einen Pull Request vorzubereiten.
3-5 Tage
AktivitätsstatusWie verfügbar das Issue gerade wirkt: frisch, aktiv, stale, blockiert oder wartet auf Maintainer-Input.
Veraltet
KlarheitWie klar das Issue die erwartete Änderung, Akzeptanzkriterien und den nächsten Schritt erklärt.
Klar
Voraussetzungen
RacketTyped Racket
EinsteigerfreundlichkeitEin Score von 1 bis 100, der schätzt, wie zugänglich dieses Issue für First-Time Contributors ist.
30