So, features?

Union, intersection and literal singleton types	Implemented
Fast compilation (phase fusion)	Implemented
Trait parameters	Implemented
@@static methods and fields	Implemented
Improved REPL with colors	Implemented
Sbt incremental build	Implemented
Non-blocking lazy vals	Implemented
Option-less pattern matching (based on name-based patmat)	Implemented
Function arity adaptation	Implemented
Multiversal equality	Implemented
Exhaustivity checks in pattern matching	Implemented
Non-boxed arrays of value classes	In progress
Working contravariant implicits	In progress
Auto-Specialization	In progress
Whole program optimizer	In progress
HList & HMaps/Record types	In progress

Implicit functions	Considered
Effects	Considered
Auto-completion in repl	Considered
Spec Option-less pattern matching	Considered

Talks on Dotty?

That’s great! We have more details on the docs and please join our Gitter channel!