Search

Home > Lightbend > Scala Days 2014 - "The DOT Calculus" - Nada Amin
Podcast: Lightbend
Episode:

Scala Days 2014 - "The DOT Calculus" - Nada Amin
Category: Technology
Duration: 00:50:49
Publish Date: 2014-08-17 01:09:07
Description: The DOT (Dependent Object Types) calculus attempts to ground Scala's type system in fewer, but powerful, constructs. In this talk Nada will describe what these constructs are, and how they relate to Scala's current type system. She will also show how DOT simplifies type inference. Finally, Nada will touch upon the challenges in the meta-theory. To view the video visit www.parleys.com.
Total Play: 0