> TS is very AI-native, to the point I'd agree it's near magical in terms of contracts.

I agree. Not only that, I feel like TypeScript is currently the only popular high-level language with a type system capable of communicating all meaningful information. It seems to have hit an LLM sweet spot.

Looking at other candidates:

- Rust is popular and has a powerful type system, but it forces you to program at a level that's lower than necessary for most projects, hindering usability.

- Go is much more usable and very popular, but its type system can't communicate much.

- Haskell has an excellent type system, but it's nowhere near popular enough, and its usability suffers due to esoteric constraints (laziness, purity).

- etc.

I don't know the recent developments in Python's and Ruby's type systems. They may be able to compete these days, but they were nowhere near TS's level in terms of contract a few years ago when I last tried them out.

And I admittedly have no idea what's going on with C# and Java, but I'd love to hear about it.