Maybe you know this, but type inference goes back to the 1970s. It's taken this long to start seeing it in mainstream languages.
Similarly, pure functional strongly statically typed languages with type inference, pattern matching, algebraic data types and non-null types have been around for literally decades yet we're still stuck debating about the so-called benefits of dynamically typed languages.
Maybe you know this, but type inference goes back to the 1970s. It's taken this long to start seeing it in mainstream languages.
Similarly, pure functional strongly statically typed languages with type inference, pattern matching, algebraic data types and non-null types have been around for literally decades yet we're still stuck debating about the so-called benefits of dynamically typed languages.