我之前学习Scala(和Akka),最近开始了解其他专注于分布式计算的语言,特别是Erlang(以及一点点Oz和Bloom)。Erlang和Oz都是动态类型的语言,如果我没记错的话(会尝试找链接证实),人们尝试为Erlang添加类型,并成功地对其中大部分内容进行了类型标注,但无法成功强制让系统适应最后一部分。
Oz虽然是一门研究性质的语言,但它也是动态类型的。
Bloom目前的实现是用Ruby编写的,因此也是动态类型的。
据我所知,Scala(我想Haskell也是,尽管它最初建立在纯惰性函数编程语言的探索基础之上,而不是分布式系统)是唯一一种静态类型的语言,可以在语言级别提供分布式计算的抽象(缺乏更好的词汇形容)。
我只是想知道动态类型编程与静态类型编程相比,在提供编程分布式系统的语言级别抽象方面,是否有明显的优势。