That would be Dotty[1]. It&#x27;s the same language as Scala but with union and intersection types, and some extraneous features stripped out (e.g. procedure syntax, XML, and `for some` types).<p>Under the hood it&#x27;s a complete overhaul, based on the DOT calculus[2][3]. Already compile times are faster than current Scala (without any optimizations applied), and tooling will improve as well (Dotty fuses current Scala&#x27;s type parameter and type member implementation into one, thus less work for IDE presentation compilers to do, for example).<p>Implicits aren&#x27;t going anywhere, thankfully, how else could Spark et al offer such wonderful DSLs ;-)<p>[1] <a href="https:&#x2F;&#x2F;github.com&#x2F;lampepfl&#x2F;dotty" rel="nofollow">https:&#x2F;&#x2F;github.com&#x2F;lampepfl&#x2F;dotty</a>
[2] <a href="http:&#x2F;&#x2F;www.cs.uwm.edu&#x2F;%7Eboyland&#x2F;fool2012&#x2F;papers&#x2F;fool2012_submission_3.pdf" rel="nofollow">http:&#x2F;&#x2F;www.cs.uwm.edu&#x2F;%7Eboyland&#x2F;fool2012&#x2F;papers&#x2F;fool2012_su...</a>
[3] <a href="http:&#x2F;&#x2F;arxiv.org&#x2F;pdf&#x2F;1510.05216v1" rel="nofollow">http:&#x2F;&#x2F;arxiv.org&#x2F;pdf&#x2F;1510.05216v1</a>