Use union instead of join for unifying types
Nessuno ha ancora preso questa issue.
- Lingua principale
- Python
- Stelle
- 20.6k
- Fork
- 3.3k
- Metriche di merge delle PR
- Metriche PR in attesa
Descrizione
@erictraut has gathered a long list of problems caused by mypy's behavior of using the "join" operator to unify types in various contexts.
- #12053
- #12009
- #11934
- #11440
- #11618
- #10740
- #10442
- #7884
- #7835
- #7616
- #6968
- #6079
- #5512
- #5128
- #4134
- #3339
I believe that we should change this behavior.
If someone opens a PR to do this, it would be interesting to see what the results look like in mypy-primer and mypy's CI.
Guida per i contributori
Apri la guida per i contributori
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.
Direzione di ricerca
Inizia esaminando le issue collegate (#12053, #12009, #11934, #11440, #11618, #10740, #10442, #7884, #7835, #7616, #6968, #6079, #5512, #5128, #4134 e #3339) per mappare i contesti interessati. Poi confronta i risultati in mypy-primer e nella CI di mypy; il lavoro è completato quando il comportamento di unificazione è stato modificato e i suoi effetti sono compresi in tutti questi controlli.
Scritto dal modello di indicizzazione a partire dal testo della issue.
Valutazione
- Stack tecnologico
- python
- Ambito
- compilers
- Tipo di issue
- Funzionalità
- Difficoltà
- 5/5
- Tempo stimato
- Più di una settimana
- Stato di attività
- Ferma
- Chiarezza
- Abbastanza chiara
- Idoneità per principianti
- 25/100