Draft PEP: More Expressive Type Expressions

This is a continuation of my previous post on this topic. I’ve decided to make this a new thread since the ideas have been refocused a lot since then and my goal now is to essentially make a new run down of the problem and my proposed solution since there was a lot of confusion before. This post won’t contain every detail of my ideas and implementation, I’ll be more comprehensive in the rewrite of my draft PEP, but I hope it’s understandable. Motivation Just to recap, the way that type annotati...