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