Loading...

Dotty and types: the story so far – Guillaume Martres

2,157 views

Loading...

Loading...

Transcript

The interactive transcript could not be loaded.

Loading...

Rating is available when the video has been rented.
This feature is not available right now. Please try again later.
Published on May 18, 2016

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/typ...

* Event *

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

* 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/...).

Loading...

When autoplay is enabled, a suggested video will automatically play next.

Up next


to add this to Watch Later

Add to

Loading playlists...