FYI, copy of Guido's message: --- I'm planning to accept the following PEPs related to the type system later this week: PEP 544: Protocols PEP 586: Literal Types PEP 591: Final qualifier and @final decorator PEP 589: TypedDict All of these have been proposed for and discussed before. All of these have been implemented in mypy and (AFAIK) in some other type checkers (with the exception of Protocols for module objects, which is in the design stage for mypy but not controversial in any way). No substantial opposition came up during the discussions so far. Some changes were made to some of the PEPs and it seems everyone is happy with the results. I expect that these PEPs will be accepted in time to get their implementations into the stdlib typing.py module in 3.8 beta 1, which is due May 31st (i.e., in less than two weeks!). --- But please follow Guido's request: Le lun. 20 mai 2019 à 16:39, Guido van Rossum a écrit :

Please send all discussions about these PEPs to the typing-sig mailing list, so we have the archives all in one place. Read the full message here:

Victor -- Night gathers, and now my watch begins. It shall not end until my death.