More principled solution for universal quantificatoin of non-Callable types

Ouverte
#15,909 0 commentaires 0 réactions 0 personnes assignées Voir sur GitHub

Personne n'a encore pris cette issue.

Évaluation

Difficulté
5/5
Temps estimé
Plus d'une semaine
Accessibilité débutants
25/100
Type d'issue
Fonctionnalité
Clarté
À clarifier
Activité
À l'abandon
Stack technique
python
Domaine
devtools

Piste de recherche

Aucun fichier, test ou point d'entrée n'est nommé. Commencez par suivre le traitement existant, fondé sur ParamSpec, de la quantification universelle sur les types non-Callable, puis déterminez la conception nécessaire pour une prise en charge principielle et définissable par l'utilisateur ; le travail doit être considéré comme terminé lorsqu'il inclut une approche arrêtée et le périmètre d'implémentation correspondant.

Rédigé par le modèle d'indexation à partir du texte de l'issue.

Description

feature priority-2-low topic-paramspec topic-type-variables

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.

Langage dominant
Python
Étoiles
20.6k
Forks
3.3k
Merge moyen
1 j 18 h
PR mergées (30 j)
54

Guide de contribution

Ouvrir le guide de contribution

Par où commencer

  1. Lisez l'issue en entier, puis le guide de contribution du projet.
  2. Signalez en commentaire que vous la prenez — cela évite que deux personnes fassent le même travail.
  3. Forkez le dépôt et travaillez sur une branche.
  4. Ouvrez une pull request qui référence le numéro de l'issue.

Autres issues de python/mypy

Toutes les issues de python/mypy

Issues similaires

Plus d'issues Python

Recevez les nouvelles issues par e-mail

Un résumé court des issues GitHub adaptées aux débutants.