3 ms·
> verbose typing of a generation ago is almost gone Worth pointing out such type inference is hardly a new idea e.g. see the ML type system: https://en.wikiped
by gchadwick 8y ago
> verbose typing of a generation ago is almost gone
Worth pointing out such type inference is hardly a new idea e.g. see the ML type system: https://en.wikipedia.org/wiki/ML_(programming_language) https://en.wikipedia.org/wiki/ML_(programming_language) which Wikipedia says first appeared in 1973. This actually traces its roots to the typed lambda calculus which predates electronic computers.
However I think it is fair to say that type inference systems are finally appearing in more 'mainstream' statically typed languages (for example the auto keyword in C++ and your Swift examples).
- melling 8y agoYes, immutability, pattern matching, type inference, etc are not new ideas. Pattern matching is another concept that’s making its way into popular programming. https://www.bignerdranch.com/blog/pro-pattern-matching-in-swift/ https://www.bignerdranch.com/blog/pro-pattern-matching-in-sw... https://stackoverflow.com/questions/2502354/what-is-pattern-matching-in-functional-languages https://stackoverflow.com/questions/2502354/what-is-pattern-... C# and Java are also adding this feature. We’re taking the long way to becoming Haskell and oCaml programmers.
- brianberns 8y agoF# comes from ML by way of OCaml.