1. 开源软件
  2. 数据库相关
  3. 编译器
  4. Dotty

Dotty - Scala 的下一代编译器

编译器
BSD
跨平台
Scala

软件简介

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

具有以下特性：

[Union](http://dotty.epfl.ch/docs/reference/union-types.html), [intersection](http://dotty.epfl.ch/docs/reference/intersection-types.html) and [literal singleton types](http://docs.scala- lang.org/sips/pending/42.type.html) Implemented
[Trait parameters](http://docs.scala-lang.org/sips/pending/trait- parameters.html) Implemented
[@static methods and fields](https://github.com/scala/scala.github.com/pull/491) Implemented
[SBT incremental build](http://dotty.epfl.ch/#getting-started) Implemented
[Option-less pattern matching](http://dotty.epfl.ch/docs/reference/pattern- matching.html) Implemented
[Automatic tupling of function parameters](http://dotty.epfl.ch/docs/reference/auto-parameter-tupling.html) Implemented
[Multiversal equality](http://dotty.epfl.ch/docs/reference/multiversal- equality.html) Implemented
[Phantom types](http://dotty.epfl.ch/docs/reference/phantom-types.html) Implemented
[Implicit function types](http://dotty.epfl.ch/docs/reference/implicit- function-types.html) Implemented
[Auto-Specialization](https://github.com/dotty-linker/dotty) In progress
[Whole program optimizer](https://github.com/lampepfl/dotty/pull/1840) In progress
[HList & HMaps/Record types](https://github.com/lampepfl/dotty/pull/2199) In progress
Effects Considered

软件首页