¿Puedes nombrar los lenguajes de programación en los que los tipos de datos se verifican en tiempo de compilación?

Языки программирования с проверкой типов во время компиляции (статическая типизация) включают:

• C
• C++
• Java
• C#
• Go
• Rust
• Swift
• Kotlin
• Scala
• Haskell

В этих языках ошибки типов выявляются на этапе компиляции, что помогает избежать многих ошибок во время выполнения программы.