Proposal for two new typing constructs: `MemberNames[T]` and `MemberTypes[T]`

[hwelch (Hayden Welch)]

PEP 827: Type Manipulation

This is a discussion thread on PEP 827 – Type Manipulation. The motivation for this PEP comes from a gap between Python and TypeScript: Python has an incredibly dynamic and powerful runtime, while TypeScript has an incredibly expressive and powerful type system. I’ve repeatedly found myself wishing I could lean more heavily on Python’s metaprogramming and overall expressiveness while still keeping APIs fully type-safe. Figuring out how to bridge this gap has been a year-long journey for @msulli…

There’s one linked at the top of the PEP