So many cool things already done and even more to come. Some parts that excite me as a Scala nerd: * One can now use implicit function types to basically build

So many cool things already done and even more to come. Some parts that excite me as a Scala nerd: * One can now use implicit function types to basically build your own table language syntax that is type-safe. [1] * Multiversal Equality: you get to decide whether it makes any sense to compare an Apple and an Orange using "==" or "!=", as opposed to Java's forced requirement of allowing you to compare anything with anything. [2] * Null safety checks! Quoting from [3], "Adding a null value to every type has been called a "Billion Dollar Mistake" by its inventor, Tony Hoare. With the introduction of union types, we can now do better. A type like String will not carry the null value. To express that a value can be null, one will use the union type String | Null instead." * First-class enums, finally. [4] * Erased parameters: you can declare variables specifically for type-safety that _don't exist_ during run-time, improving efficiency. [5] [1] http://dotty.epfl.ch/docs/reference/implicit-function-types.html http://dotty.epfl.ch/docs/reference/implicit-function-types.... [2] http://dotty.epfl.ch/docs/reference/multiversal-equality.html http://dotty.epfl.ch/docs/reference/multiversal-equality.htm... [3] http://dotty.epfl.ch/docs/reference/overview.html http://dotty.epfl.ch/docs/reference/overview.html [4] http://dotty.epfl.ch/docs/reference/enums/enums.html http://dotty.epfl.ch/docs/reference/enums/enums.html [5] http://dotty.epfl.ch/docs/reference/erased-terms.html http://dotty.epfl.ch/docs/reference/erased-terms.html