Tom*_*ett 6

它的静态类型系统与Haskell的功能类似,尽管它的类型推断受到支持OO风格子类型的需求的严重阻碍.Scala也缺乏更高级别的多态性和不可信度,这两者都是Haskell所具有的.另一方面,Scala基于implicits的类型类机制虽然比Haskell更冗长,但更灵活.

当然,有许多轴可供比较; Scala的评估语义是严格的,就像ML一样,而Haskell是懒惰的.

  • @Kevin Wright:它没有直接的支持.请看:http://apocalisp.wordpress.com/2010/07/02/higher-rank-polymorphism-in-scala/ (2认同)