- Standard ML
- OCaml
- Haskell
- some other
Share
Sign Up to our social questions and Answers Engine to ask questions, answer people’s questions, and connect with other people.
Login to our social questions & Answers Engine to ask questions answer people’s questions & connect with other people.
Lost your password? Please enter your email address. You will receive a link and will create a new password via email.
Please briefly explain why you feel this question should be reported.
Please briefly explain why you feel this answer should be reported.
Please briefly explain why you feel this user should be reported.
It is similar in the power of its static type system to Haskell, though its type inferencing is severely hampered by the need to support OO-style subtyping. Scala also lacks higher-rank polymorphism and impredicativity, both of which Haskell has. On the other hand, Scala’s implicits-based type class mechanism, while more verbose than Haskell, is more flexible.
There are many axes on which to compare, of course; Scala’s evaluation semantics are strict, like that of ML, whereas Haskell is lazy.