Martin Odersky在纽约Scala Days指出，继沉寂的2015之后Scala将有大动作
继相对沉寂的2015年之后，Scala之父 Martin Odersky 在2016年5月9日纽约的Scala Days的主题发言中表示，Scala在今年正在加速发展。Odersky现在是 洛桑联邦理工学院 （EPFL:École Polytechnique Fédérale de Lausanne）的现任编程研究组教授， Lightbend 的联合创始人。他指出了“最近已经或将要发生的改变”：
- Scala Center
- Scala 2.12
- 计划从新思考Scala库
- 开发新的目标平台
- DOT与Dotty
我们简要看一下以上这些主要变化
Scala Center
Odersky介绍了新的 Scala Center 并将之描述为“承担造福整个Scala社区的项目”。据2016年5月14日Scala Center 官方博客 所述，Scala Center的创建是由于日益增加的 Scala相关职位 以及“ scala教程 ”在Google的搜索量，这些都表明了Scala越来越被大家所接受。Scala Center主要针对开源社区和相关教育培训。同时也为了能更近距离地和Scala社区进行协作，正如上述 博文 指出的：
Scala巨大的用户基数以及多元化的项目意味着将有大量的对语言与其工具的需求。同时也有大量的有能力的活跃贡献者。Scala Center的首要任务是询问用户社区，定义一个通用的目标，组织贡献者和所拥有的资源来共同实现这个目标。
Scala Center建立在 EPFL 并由研究员 Heather Miller 作为常务董事来领导。Lightbend的Scala首席技术 Adriaan Moors 也在Scala Center工作。在他就Lightbend与Scala Center的相互合作接受InfoQ采访时，当被问及Lightbend每日的工作是否受Scala Center的影响时，Moors表示：
它正在影响我们的计划，但是要说它是否影响我们的日常工作还为时过早。Lightbend的整个Scala团队正在尽全力保证在接下来几周的2.12.0-RC1发布，这是唯有我们应尽的职责（当然还有许多开源贡献者）
在许多采纳使用Scala的组织中，Lightbend拥有其中的62个 案例研究 。
Scala 2.12
Scala 2.12已经经历了两年的 开发旅程 并计划在2016年中发布（ Scala 2.12.0 milestone 5 自2016年6月29日就已发布）。这将是第一个Java 8优化的版本，并将利用Java 8的lambdas表达式实现更短的代码，更快的执行速度。Scala的GitHub 仓库 记录了Scala 2.12的 33个新特征 。Lightbend将为运行在Java 6/7上的应用提供延伸的Scala 2.11的维护周期。
DOT
用时8年, DOT -一种依赖对象类型(dependent object types，原文疑误写为document object types)的演算-被证明在Scala中是一种可靠的基础。如Odersky在2016年2月3日的 博客 所述：
一个演算可以理解为微语言（mini-language），它足够小，小到可以真正地被研究。换用Scala的说法，DOT包含的语言可以用下图的摘要语法来表述
正如GitHub 仓库 中定义的DOT演算，以上的抽象语法是：
一个依赖对象类型的最小的完备版本。这个演算只通过交叉，嵌套绑定的组合来实现方法（functions），标签类型（labeled types）和术语（terms）。
选用这种演算可以使得正式的表达式可以在编译语言其他部分时一起被实现和证明。这为将来Scala的开发提供更大的信心。这种演算考虑到类型安全。 类型规则（Typing rules） 将类型分派给术语和 运算规则 来确保程序运算的正确，如下面的属性示例：
如果术语 t 拥有类型 T ，在 t 运算结束后，它的结果将是类型 T 的值 v 。
Odersky解释到，以上所说的重要性在于“它为我们提供了一个可以推出语言特性正确性的技术。”
Dotty
Dotty是一个内部使用DOT数据结构的新编译器。它的代码量几乎是现有 nsc 编译器的一半，同时承诺两倍的速度。Dotty将包含如下新特性：
- 交叉类型（Intersection types）（修正了类型无交换性的问题）
- 组合类型（Union types）（避免了大量过度构建）
- 方法实参适配（Function arity adaption）（更高效的参数匹配）
- Trait参数 （trait类似于java中的接口）
- @static方法和字段
- 恒等（Multiversal equality）（像==和!=等操作符现在是类型安全的了）
- 命名的类型参数
创建这些新特性的初衷包含希望建立一个更好的基础和一个更简单更安全的语言。目前Dotty的状态可以在 网站 查询。
为了保持语言的简单性，Odersky宣布一些现有的Scala特性将被移除
- 过程式语法（Procedure Syntax）（不是很高效）
- 类延迟初始化（未被使用）
- 宏（实验性特性，并不在长期计划中）
- 预初始化（被Trait参数取代）
- 存在性类型（Existential types）（与Scala基础不兼容）
- 通用类型投影（General Type Projection）（被确定为类型不可靠的）
以上部分特性将被新特性取代，其他的将被移除。
Dotty的高级工具包含：
- 与Scala的构建工具 sbt 的集成
- 带语法高亮的可交互式命令行（REPL：read-eval-print-loop）
- 新的Intellij的Dotty插件
- 文档生成（对跨库引用的动态超链接）
- 一个高效并且更健壮的连接器
Dotty的架构图如下
其中引入了一个新的序列化类型抽象语法树， TASTY ，它的设计目标为可靠，懒加载，可扩展，精确。Dotty是在EPFL开发的，但Lightbend的Scala团队负责其基础建设，复审和指导建议。其源代码位于Dotty的GitHub 仓库 。
Scala 2.12及之后
在Scala 2.13的先期计划中，Scala将专注于找出方法来更新类库，在移除一些现有的极端案例的同时使它们用起来更方便。Odersky表示这个灵感来源于Spark使用 弹性分布式数据集 (RDD)的延迟构建操作来实现集合。
为了更好地调节Scala类库。Odersky提议拆分Scala的 stdlib
Odersky邀请开发人员参加现有或新的 稻草人提案 。
小结
Moors维护着 Scala 官方GitHub 仓库 并提供了源码和开发者如何贡献代码的信息。
Lightbend告诉InfoQ在这个夏末，他们正“计划着揭晓一个对数千Java和Scala开发者进行的调查结果，并分享他们对容器，微服务，原生云应用（cloud-native applications）和其他热点领域的经验。”
查看英文原文： After a Quiet 2015 Martin Odersky Outlined Significant Plans for Scala at Scala Days New York
感谢张龙对本文的审校。
给InfoQ中文站投稿或者参与内容翻译工作，请邮件至editors@cn.infoq.com。也欢迎大家通过新浪微博（@InfoQ，@丁晓昀），微信（微信号： InfoQChina ）关注我们。
正文到此结束
热门推荐
相关文章
近期评论
-
你这基本没有更新呀，最近文章显示还是2019年的文章。不符合要求哈
-
关键词：慕云博客 链接：https://www.lilun.me 描述：分享原创文字的个人博客
-
-
-
可以提供一下源码吗
-
不是商业站，鸡娃学习笔记
-
-
-
-
听他们说很厉害的样子
Loading...
![[HBLOG]公众号](http://www.liuhaihua.cn/img/qrcode_gzh.jpg)
