Vercel Just Proposed a TypeScript-Inspired Upgrade to Python's Type System
If you’ve ever jumped between a TypeScript codebase and a Python one, you know the feeling. TypeScript gives you this almost magic-like type system where you can slice, dice, and reshape types at compile time. Python, on the other hand, has a type system that’s great for the basics but starts to fall apart the moment you try to do something clever — like model what happens when a decorator adds a keyword argument, or when a framework derives a bunch of model variants from a single class definition. ...