[随笔] 貌似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每次升级变化都挺大
|