static system, structural typing, strong typing, full inference
Java, JavaScript, C#, C++, C, Haskell, Go, Dart, Rust, TypeScript, Kotlin, Swift
bal