它的静态类型系统与Haskell的功能类似,尽管它的类型推断受到支持OO风格子类型的需求的严重阻碍.Scala也缺乏更高级别的多态性和不可信度,这两者都是Haskell所具有的.另一方面,Scala基于implicits的类型类机制虽然比Haskell更冗长,但更灵活.
当然,有许多轴可供比较; Scala的评估语义是严格的,就像ML一样,而Haskell是懒惰的.
| 归档时间: |
|
| 查看次数: |
1287 次 |
| 最近记录: |