[随笔] 貌似martin大神又准备大动作了,目前scala中很多东西可能会被从新设计。

Eastsun 2012-03-25
https://groups.google.com/forum/#!topic/scala-language/PV4q6O1qIh8/discussion

被很多人批评scala像C++一样很复杂导致martin很不爽,因为他的初始目标是设计一种强大而又漂亮的语言(a very powerful but at the same beautifully simple language)。

martin设想在scala3中将进一步简化scala语言,打造更加一致的类型系统(这也是目前scala最受批评的地方)。最大的改变是将目前scala中存在的类型参数(type parameters)抽象类型成员(abstract type members)一致化。也就是下面两种定义方式将完全等价:
trait Seq[type Elem]   
 
trait Seq { type Elem }


在martin的设想中,有了上面的一致性,高阶类型(higher-kinded type)的概念将不再需要,因为完全可以由上面的概念得到。

详细的大家自己去看原帖,后面的讨论也很精彩。
不过不要过于期望,因为Scala3至少是两年后的事情了
xmx0632 2012-04-27
貌似scala每次升级变化都挺大
Global site tag (gtag.js) - Google Analytics