I think both `erg` and statically typed Python are both attempts at doing exactly that. May be what you mean is a static typing solution for Python whose synta

I think both `erg` and statically typed Python are both attempts at doing exactly that. May be what you mean is a static typing solution for Python whose syntax is a superset of Python syntax (which I don't think `erg` is), but isn't identical to Python's syntax( ie, it is a strict superset, which statically typed Python's syntax isn't). Typescript is exactly that for JS. In that case, I agree with you that such an attempt would indeed be very interesting because it would allow for more aggressive exploration of ergonomic typing constructs while maintaining that any valid Python would be valid in that new language as well (just like TS).