More principled solution for universal quantificatoin of non-Callable types
Open
Nobody has claimed this yet.
feature
priority-2-low
topic-paramspec
topic-type-variables
- Dominant language
- Python
- Stars
- 20.6k
- Forks
- 3.3k
- PR merge metrics
- PR metrics pending
Description
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.
Contributor guide
First steps
- Read the whole issue, then the project's contributing guide.
- Comment on the issue to say you are picking it up — it saves two people doing the same work.
- Fork the repository and make your change on a branch.
- Open a pull request that references the issue number.
Research direction
No files, tests, or entry points are named. Start by tracing the existing ParamSpec-based handling of universal quantification over non-Callable types, then determine the design needed for principled and user-definable support; done should include a settled approach and corresponding implementation scope.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- python
- Domain
- devtools
- Issue type
- Feature
- Difficulty
- 5/5
- Estimated time
- Over a week
- Activity status
- Stale
- Clarity
- Needs clarification
- Newbie friendliness
- 25/100