"ML family" languages are languages like Haskell, Elm, OCaml, SML.
en.wikipedia.org/wiki/ML_(progr
If you've used a ML family language professionally for at least 1 full year, I'm curious:
…is your favorite type system to use professionally a ML family one? Or a non-ML-family one?
Conversation
I don't know how to answer that. There's no specific type system common to these languages, and I'm not sure whether languages like Scala and Rust (both with a lot of Haskell DNA in them, but not much of its particular aesthetic) would belong to this family.
2
6
Yeah, there's a bunch of interconnected influences at play - Scala at least continues the idea of ML-style module systems in the way objects are designed, but they are heavily modified to suit both OOP and typeclasses - an impressive feat I think!