More principled solution for universal quantificatoin of non-Callable types
Dieses Issue hat noch niemand übernommen.
- Vorherrschende Sprache
- Python
- Sterne
- 20.6k
- Forks
- 3.3k
- PR-Merge-Kennzahlen
- PR-Kennzahlen ausstehend
Beschreibung
Currently we support a type like forall T . Foo[[x: T], T] by allowing to capture a generic callable with a ParamSpec. This is arguably hacky, and may fail in unpredictable ways. Also such types are not user-definable. At some point in distant future we may want to add a support for defining such types.
Beitragsleitfaden
Erste Schritte
- Lies das ganze Issue und danach den Beitragsleitfaden des Projekts.
- Schreib ins Issue, dass du es übernimmst — das erspart doppelte Arbeit.
- Forke das Repository und arbeite in einem Branch.
- Öffne einen Pull Request, der die Issue-Nummer nennt.
Rechercherichtung
Es werden keine Dateien, Tests oder Einstiegspunkte genannt. Beginne damit, die bestehende auf ParamSpec basierende Verarbeitung der Allquantifizierung über Nicht-Callable-Typen nachzuverfolgen, und bestimme dann das für eine prinzipientreue und von Benutzern definierbare Unterstützung erforderliche Design; abgeschlossen sollte dies einen festgelegten Ansatz und den entsprechenden Implementierungsumfang umfassen.
Vom Indexierungsmodell aus dem Issue-Text verfasst.
Bewertung
- Tech-Stack
- python
- Bereich
- devtools
- Issue-Typ
- Feature
- Schwierigkeit
- 5/5
- Geschätzter Aufwand
- Über eine Woche
- Aktivitätsstatus
- Veraltet
- Klarheit
- Muss geklärt werden
- Anfängerfreundlichkeit
- 25/100