unisonweb/unison

`manageLinks` in `HandleInput` should have a stronger type

Open

#1.443 geöffnet am 20. Apr. 2020

Auf GitHub ansehen
 (0 Kommentare) (0 Reaktionen) (0 zugewiesene Personen)Haskell (304 Forks)batch import
help wantedtech debt

Repository-Metriken

Stars
 (6.624 Stars)
PR-Merge-Metriken
 (Durchschn. Merge 10T 2h) (5 gemergte PRs in 30 T)

Beschreibung

The current type of this function is:

    manageLinks :: [(Path', NameSegment.HQSegment)]
                -> [HQ.HashQualified]
                -> (forall r. Ord r
                    => (r, Reference, Reference)
                    ->  Branch.Star r NameSegment
                    ->  Branch.Star r NameSegment)
                -> Action m (Either Event Input) v ()

Since it takes names rather than references, it has to parse those names. This is probably OK for now, but may run into strange corner cases later.

Contributor Guide

Research-Richtung
Untersuche die Funktion `manageLinks` in der Unison Codebasis, um ihre aktuelle Verwendung und Einschränkungen zu verstehen. Schlage einen stärkeren Typ vor, möglicherweise unter Verwendung von Existenztypen oder Typfamilien, und stelle sicher, dass die Änderung abwärtskompatibel bleibt. Diskutiere mögliche Nebenwirkungen auf andere Teile der Codebasis.
Tech Stack
Keine
Domain
backend
Issue Type
Refactoring
SchwierigkeitGeschätzte Implementierungsschwierigkeit für neue Contributors, von 1 für sehr kleine Änderungen bis 5 für Expertenarbeit.
3
Geschätzte ZeitEin grober Zeitrahmen, um zu recherchieren, zu implementieren, zu testen und einen Pull Request vorzubereiten.
1-3 Stunden
AktivitätsstatusWie verfügbar das Issue gerade wirkt: frisch, aktiv, stale, blockiert oder wartet auf Maintainer-Input.
Frisch
KlarheitWie klar das Issue die erwartete Änderung, Akzeptanzkriterien und den nächsten Schritt erklärt.
Klar
Voraussetzungen
Git
EinsteigerfreundlichkeitEin Score von 1 bis 100, der schätzt, wie zugänglich dieses Issue für First-Time Contributors ist.
60