Yes, but if you put type strictness on a line, Rust would be further along I think.

Not to say that Typescript is bad or anything, but I would like to see data on my gut feeling that "stricter languages would make coding agents work better"