String literals must not be treated as separate types
Nessuno ha ancora preso questa issue.
Valutazione
- Difficoltà
- 5/5
- Tempo stimato
- Più di una settimana
- Idoneità per principianti
- 25/100
Direzione di ricerca
Inizia esaminando data/typing/pandas.core.frame.py e il modo in cui i suoi overload di getitem e setitem riflettono i letterali stringa come tipi separati. Leggi l’issue correlata gh-71 per il contesto sull’interpretabilità; il lavoro è completato quando i letterali stringa non creano più questo tipo di inquinamento dei tipi nelle annotazioni generate.
Scritto dal modello di indicizzazione a partire dal testo della issue.
Descrizione
Strings are things like column names; there is no point treating those as separate types, it gives a huge amount of pollution in the generated type annotations. Example: typing/pandas.core.frame.py has 10,000+ lines for __getitem__/__setitem__ overloads.
Related, issue to make results more interpretable: gh-71
- Lingua principale
- Python
- Stelle
- 74
- Fork
- 6
- Metriche di merge delle PR
- Nessuna PR unita negli ultimi 30g
Guida per i contributori
Nessuna guida per i contributori indicizzata per questo repository
Come iniziare
- Leggi tutta la issue e poi la guida ai contributi del progetto.
- Commenta sulla issue per dire che te ne occupi tu — evita che due persone facciano lo stesso lavoro.
- Fai un fork del repository e lavora su un branch.
- Apri una pull request che faccia riferimento al numero della issue.
Altre issue di data-apis/python-record-api
-
enhancement
Difficoltà 4/5 3-5 giorni Idoneità per principianti 30/100
data-apis/python-record-api#144 · 4 commenti ·
-
Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100
data-apis/python-record-api#142 ·
-
Difficoltà 5/5 Più di una settimana Idoneità per principianti 20/100
data-apis/python-record-api#81 · 2 commenti ·
-
good first issue
Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100
data-apis/python-record-api#71 · 1 reazione ·
-
bug
Difficoltà 5/5 Più di una settimana Idoneità per principianti 30/100
data-apis/python-record-api#70 · 6 commenti ·
Tutte le issue di data-apis/python-record-api
Issue simili
-
enhancement
Difficoltà 2/5 1-3 ore Idoneità per principianti 70/100
canonical/paas-charm#368 · 1 commento ·
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 75/100
-
tech debt
Difficoltà 2/5 1-3 ore Idoneità per principianti 75/100
-
addition to tracking list Aperta
Difficoltà 1/5 Meno di un'ora Idoneità per principianti 90/100
StevenBlack/hosts#3256 ·
-
Difficoltà 1/5 Meno di un'ora Idoneità per principianti 90/100
qualcomm/qai-appbuilder#275 ·