Java and C# are great too, but not as strongly typed as Ada. Ada did not invent types, but it gives the developer an excellent toolkit for large scale projects

Java and C# are great too, but not as strongly typed as Ada. Ada did not invent types, but it gives the developer an excellent toolkit for large scale projects. Rust also has excellent typing and uses them superbly (e.g. Result). I suppose that many lower level languages prefer strong types to help catch errors and enable optimizations that are harder to do without strong typing. For higher level, strongly-typed languages, Haskell and Typescript are worth studying.