Skip to content
This repository has been archived by the owner on Dec 11, 2023. It is now read-only.

Better formalize the spec #13

Closed
JelleZijlstra opened this issue Nov 23, 2023 · 1 comment
Closed

Better formalize the spec #13

JelleZijlstra opened this issue Nov 23, 2023 · 1 comment
Labels
wait-for-council Issues that should not be addressed until the Typing Council exists

Comments

@JelleZijlstra
Copy link
Owner

We should work towards a more formalized specification, likely based on Kevin Millikin's "Python Static Types". In particular, a good start would be to add terms like "consistent subtyping" to the glossary and start using them throughout the spec.
@JelleZijlstra JelleZijlstra added the wait-for-council Issues that should not be addressed until the Typing Council exists label Nov 23, 2023
@JelleZijlstra
Copy link
Owner Author

python/typing#1534

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees
No one assigned
Labels
wait-for-council Issues that should not be addressed until the Typing Council exists
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@JelleZijlstra