Dotty and types: the story so far – Guillaume Martres
Channel: Typelevel
Date: 2016-05-19

Dotty is a new, experimental compiler for Scala. One of the main goal of Dotty is to provide a better type system for Scala that is both theoretically sound and better in practice. In this talk I'll focus on some of the practical improvements to the type system we've made in Dotty, like the new type parameter inference algorithm that, while not formally specified, should be easier to reason about and work in more cases. I will also try to shed some light on the challenges we face, like getting a set of features (like union types, singleton types and type inference) to interact well with each other, or properly implementing higher-kinded types.

* Material *

Slides: http://guillaume.martres.me/talks/typelevel-summit-oslo/

* Event * 

Typelevel Summit Oslo, May 2016: http://typelevel.org/event/2016-05-summit-oslo/

* About Speaker *

Compiler Engineer at EPFL working on Dotty. He's currently working on incremental compilation support using sbt.

* Licensing *

This recording is licensed under CC-BY 4.0 (https://creativecommons.org/licenses/by/4.0/).