David Foster

> Once you have this working we should make a PEP out of it. Yep, will do this time around. :)

Update: I redownloaded the high-level mypy codebase structure this afternoon to my brain. It appears there are now only 4 major passes of interest: * `State.semantic_analysis_pass1()` * `semanal_main.semantic_analysis_for_scc() # pass...

Update: I have found/examined all mypy code related to processing the statement `T = TypeVar('T')`. Briefly: * A **TypeVarExpr**(TypeVarLikeExpr) is parsed from the characters `T = TypeVar('T')` by `mypy.fastparse.parse()`. *...

Update: I did trace everywhere that mypy is processing occurrences of Type[T], and more specifically uses of **TypeType**. There are a ton! In examining those uses it looks like the...

> We do have to consider whether this is going to be worth it -- there are much more important things that require our attention like variadic generics and type...

Update: I've drafted an initial PEP for TypeForm. However I was thinking of waiting to post the TypeForm PEP for review (on typing-sig) until the commenting on PEP 646 (Variadic...

Update: I'm still waiting on Variadic Generics (PEP 646) on typing-sig to be soft-approved before posting the TypeForm PEP draft, to conserve reviewer time. (In the meantime I'm continuing to...

I've posted the draft of the TypeForm PEP to typing-sig for review and discussion at: https://mail.python.org/archives/list/[email protected]/thread/7TDCBWT4RAYDJUQJ3B5NKXTQDUO5SIW2/

Update: Did give a presentation about TypeForm at PyCon US 2021 with representatives from most type checkers attending. The folks in the room (including Jukka from mypy) were leaning toward...

> By the way,typing.Type is supposed to be deprecated since Python 3.9 because of PEP 585. This would mean to remove the deprecation. > > Was this issue addressed during...