Skip to content
Merged
Changes from 1 commit
Commits
Show all changes
24 commits
Select commit Hold shift + click to select a range
10b67f7
PEP 729: Typing Council
JelleZijlstra Sep 23, 2023
8c045fd
shut up the linter for now
JelleZijlstra Sep 23, 2023
2623a65
PEP 729 suggestions (#4)
hauntsaninja Sep 23, 2023
c3ba3a1
More examples (#5)
hauntsaninja Sep 23, 2023
54e6bfb
Reconcile discussion on how to approach the spec (#6)
hauntsaninja Sep 23, 2023
f70124f
Do not delegate by default (#7)
hauntsaninja Sep 26, 2023
487a5ff
Change to self-governance (#8)
hauntsaninja Sep 26, 2023
4177bce
do nothing? (#9)
hauntsaninja Sep 28, 2023
edc5376
Add "Relationship with type checkers" (#10)
JelleZijlstra Sep 28, 2023
ab8a36c
shantanu owns it too
JelleZijlstra Sep 28, 2023
ee7fa12
copyright stanza
JelleZijlstra Sep 28, 2023
672d6d4
newline
JelleZijlstra Sep 28, 2023
f956b1b
Apply suggestions from code review
hauntsaninja Sep 28, 2023
86f3c4d
Add __exit__ as an example of underspecification
JelleZijlstra Sep 28, 2023
47c5502
Apply suggestions from code review
JelleZijlstra Sep 28, 2023
b9ac647
Update peps/pep-0729.rst
JelleZijlstra Sep 29, 2023
75f5456
Update peps/pep-0729.rst
JelleZijlstra Sep 29, 2023
4811fa7
Update peps/pep-0729.rst
JelleZijlstra Sep 29, 2023
07bb2a0
More feedback from Guido
JelleZijlstra Sep 29, 2023
418d546
More specific than "end users"
JelleZijlstra Sep 29, 2023
de3ce06
Post on Discourse, wait a week
JelleZijlstra Sep 29, 2023
d3d5e78
minor rewording
JelleZijlstra Oct 1, 2023
db5c10b
Merge branch 'main' into typing-council
JelleZijlstra Oct 1, 2023
ca317b7
They should care about runtime
JelleZijlstra Oct 4, 2023
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
Do not delegate by default (#7)
  • Loading branch information
hauntsaninja authored Sep 26, 2023
commit f70124f7d7a1c6f4ddc573179f000b9cbe341af4
39 changes: 21 additions & 18 deletions peps/pep-0729.rst
Original file line number Diff line number Diff line change
Expand Up @@ -165,28 +165,31 @@ Relationship with the Steering Council

Just like today, the Python Steering Council would remain responsible for the
overall direction of the Python language and would continue to decide on
typing-related PEPs. However, smaller changes to the type system could be made
by the Typing Council directly, and the Steering Council may delegate the
decision on some PEPs to the Typing Council.
typing-related PEPs. The Typing Council would provide written opinions and
recommendations to the Steering Council on typing-related PEPs.

However, smaller changes to the type system could be made
by the Typing Council directly. The Steering Council could also choose
to delegate decisions on some PEPs to the Typing Council (exactly as any other
PEP delegation).

Some examples of how past and recent issues could have been handled under this model:

- A PEP like :pep:`695` (type parameter syntax),
which changes the language syntax,
would be decided upon by the Steering Council, but they could consult the
Typing Council for opinions or endorsements. Similarly, PEPs like
:pep:`702` would be decided upon by the Steering
Council, because it expands the type system beyond pure typing. Other examples we
expect would be decided by the SC include
:pep:`718` and :pep:`727`.
- A PEP like :pep:`698` (``@override``),
which affects only users of type checkers
and does not change the overall language, would likely be delegated by the SC
to the Typing Council for a decision, exactly as any other PEP delegation.
Other examples we expect would be delegated include
- A PEP like :pep:`695` (type parameter syntax), which changes the language
syntax, would need to be decided upon by the Steering Council; the Typing
Council would merely provide opinion or endorsement. Similarly, PEPs
like :pep:`702` would be decided upon by the Steering
Council, because it concerns runtime behaviour beyond pure typing. Other examples
that would need to be decided by the SC include :pep:`718` and :pep:`727`.
- A PEP like :pep:`698` (``@override``), which affects only users of type
checkers and does not change the overall language, would also by default
be decided upon by the Steering Council. However, such PEPs could be
delegated to the Typing Council for a decision (like any other PEP delegation).
Other examples of PEPs that could potentially be delegated include
:pep:`647`, :pep:`655`, :pep:`673`, and :pep:`675`.
- Adding a smaller feature, such as :data:`typing.Never` as an alias for :data:`typing.NoReturn`, would be
done by means of a PR to the spec and conformance test suite. The Typing
- Adding a smaller feature, such as :data:`typing.Never` as an alias for
:data:`typing.NoReturn`, would be done by means of a PR to the spec and
conformance test suite. The Typing
Comment thread
hauntsaninja marked this conversation as resolved.
Resolved
Council would then decide whether or not to merge the PR. They may ask for the
feature to be specified and discussed in a PEP if they feel that is warranted.
- If there is confusion about the interpretation of some part of the spec, like
Expand Down