3 ms·
That's type inference, not dynamic typing. The two are distinct language features. Many statically typed languages offer type inference: Haskell, C++, Rust, Jav
by Jtsummers 3y ago
That's type inference, not dynamic typing. The two are distinct language features. Many statically typed languages offer type inference: Haskell, C++, Rust, Java, D, SML, OCaml, C#, F#. Good luck convincing people that those are dynamically typed languages just because they have type inference.