Dotty —— Scala 的下一代编译器和技术研究平台

Dotty 详细介绍
Dotty 是 Scala 的下一代编译器，也是 Scala 的新语言概念和编译器技术研究平台。

具有以下特性：

Union, intersection and literal singleton types Implemented
Trait parameters Implemented
@static methods and fields Implemented
SBT incremental build Implemented
Option-less pattern matching Implemented
Automatic tupling of function parameters Implemented
Multiversal equality Implemented
Phantom types Implemented
Implicit function types Implemented
Auto-Specialization In progress
Whole program optimizer In progress
HList & HMaps/Record types In progress

Effects Considered

文章转载自 开源中国社区 [http://www.oschina.net]

时间： 2024-10-25 08:01:01

Dotty —— Scala 的下一代编译器和技术研究平台的相关文章

Dotty 0.1.2-RC1 发布，Scala 的下一代编译器

Dotty 0.1.2-RC1 发布了,Dotty 是 Scala 的下一代编译器,也是一个旨在成为 Scala 3.0 的语言和编译器的项目.该版本作为技术预览版,演示了新的语言特性,而且编译器也支持它们. Dotty 项目 4 年前已经开始,在 2015 年达到了一个重要的里程碑阶段--编译器可以编译自己.现在项目又达到了新的里程碑阶段,发布了代码库的第一个版本. 该技术预览版演示了 Scala 3 计划的新语言功特性: Intersection Types Union Types Trai

TCL通讯介入太赫兹技术研究用于下一代手机

新浪科技讯 11月26日消息,深圳先进科学与技术国际会议上,TCL(微博)通讯CEO郭爱平表示,"目前工业界已全面进入太赫兹开发及应用领域,太赫兹已在通讯领域崭露头角,将在第六代移动通信技术上应用. 太赫兹波是指频率在0.1-10THz之间的电磁波,在电磁波谱上位于微波和红外线之间.在20世纪80年代中期以前,由于缺乏有效的产生方法和检测手段,科学家对该波段电磁辐射性质的了解非常有限,是电磁波谱中唯一没有获得较全面研究并很好地加以利用的最后一个波谱区间,是人类目前尚未完全开发的电磁波谱"

智慧城市建设的关键技术研究

目前我国正处在快速的城市化进程中,城市规模不断扩大,在促进经济.社会.人文发展和拉动国家整体发展水平上都起到非常重要的作用.然而,随着城市环保.节能.交通.产业转型等压力上的日益增加,亟需新的城市发展模式与管理工具来提升城市发展水平.伴随着信息技术的快速发展与广泛应用,"智慧城市"的概念呼之欲出.越来越多的城市在"十二五"规划中提出了把建设智慧城市作为转变发展方式,所以未来智慧城市建设将在我国掀起一轮新的高潮.智慧城市作为信息技术与城市建设的完美结合,涉及技术众多.

中英将合作开发下一代海上可再生能源技术

中国和英国的研究人员将合作5个项目来开发下一代海上可再生能源技术. 中英将合作开发下一代海上可再生能源技术 9月7日发布的公告中,英国自然环境研究委员会(NERC)表示,为期三年的项目将利用环境科学.工程技术来解决影响海上可再生能源系统开发的关键挑战.海上可再生能源包括海上风电.波浪能和潮汐能等. 这5个项目作为中英海上可再生能源联合计划的一部分获得融资,并旨在最大化海上可再生能源系统的环境和社会经济利益. NERC还表示,这些项目将示范海上可再生能源技术为岛屿和沿海社区提供可靠电力的潜力. 项

ftp服务器-毕设求大神指点！！题目是基于SaaS模式的分布式FTP服务器技术研究

问题描述 毕设求大神指点!!题目是基于SaaS模式的分布式FTP服务器技术研究 内容是: 目前,云计算正在各领域得到越来越多的应用,出现了多种云计算环境,掌握云计算的概念,熟悉相关云计算平台上的软件开发方法,对提高学生综合运用所学知识解决实际问题具有十分重要的现实意义.作为云计算平台之一的百度云,已得到了广泛应用, 本课题在理解FTP服务器模式的前提下,在saas环境下建立分布式的ftp服务,用户可通过ftp客户端传送数据. 该课题具有以下要求: 1. 了解云计算的基本原理,掌握基于saas的开

基于LBP算子的运动目标分割技术研究，关于这个题目有人能提供点资料吗，跪谢。

问题描述 基于LBP算子的运动目标分割技术研究,关于这个题目有人能提供点资料吗,跪谢. 基于LBP算子的运动目标分割技术研究,关于这个题目有人能提供点资料吗,跪谢.

满江红开放技术研究组织发布Seam 2.0中文文档正式版

满江红开放技术研究组织发布Seam 2.0中文文档正式版 三个月前,满江红开放技术研究组织发布了RC版,详见: http://yulimin.javaeye.com/blog/151917 现在满江红开放技术研究组织正式发布Seam 2.0中文文档正式版,希望对大家有所帮助,谢谢. 同时,再次感谢王琳.马越.晓钢在发布RC版后,对全部译文进行通读,发现并纠正其中的问题. 虽然我们正式宣布正式版发布,但是也希望广大朋友能够在阅读的过程若发现有疑问的地方,及时提出来进行讨论并加以修正,共同提高文档的

实时性-基于蓝牙的实时多媒体传输技术研究

问题描述 基于蓝牙的实时多媒体传输技术研究 哥哥姐姐们,各位大神们,这是小妹的毕设题目,有谁给点思路啊,求求各位了 解决方案 http://wenku.baidu.com/link?url=mMs_hAkIgWgoCEBuFI1X9CY7HWEjED4RFx6Beol05nwauMh7UMQKXNFu14_WV9wSNwr5z8MbV5LUegSfBHdny8VsJ7xeUePQr5GVs8DLzC_

Partysip的插件技术研究

Partysip的插件技术研究之Partysip框架优化方案   介绍:        本文是<Partysip框架优化计划>的一部分,着重研究Partysip插件技术,并在此基础上尝试优化.        整体上说Partysip虽然没有使用OO的思想去设计,但是还是尽量"封装"独立的函数操作,所以研究和理解还是比较方便,对于每个声明结构体都会有一组相关的函数对其操作,这些操作大部分是名字上的差异,其执行操作是对结构体内变量赋值,修改操作,以及结构体的init和free操