I think programmers often misinterpret what’s hard about building large projects.

It’s not correctness it’s communication. A type checker will save you from small errors but well written and easily understandable code will save you from a lot more.

Not saying readability is harder in c# java go or rust just that the type system doesn’t help with it that much.