A-A+

Martin Odersky在纽约Scala Days指出,继沉寂的2015之后Scala将有大动作

2016年08月12日 Linux 新闻 暂无评论 阅读 863 次

继相对沉寂的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)和其他热点领域的经验。”

使用IntelliJ IDEA编写Scala在Spark中运行 2015-08/122283.htm

Scala编程完整中文版 PDF 2015-08/121033.htm

快学Scala (中文完整扫描版) PDF  2015-08/120950.htm

Ubuntu 安装 2.10.x版本的Scala  2015-04/116455.htm

Spark1.0.0部署指南 2014-07/104304.htm

CentOS 6.2(64位)下安装Spark0.8.0详细记录 2014-06/102583.htm

Spark简介及其在Ubuntu下的安装使用 2013-08/88606.htm

安装Spark集群(在CentOS上) 2013-08/88599.htm

Hadoop vs Spark性能对比 2013-08/88597.htm

Spark安装与学习 2013-08/88596.htm

Spark 并行计算模型 2012-12/76490.htm

Scala 的详细介绍请点这里
Scala 的下载地址请点这里

查看英文原文:After a Quiet 2015 Martin Odersky Outlined Significant Plans for Scala at Scala Days New York

标签:

给我留言

Copyright © SEARU.ORG 保留所有权利.   Theme  Ality 网站地图 360网站安全检测平台

用户登录

分享到: