Scala Types from Theory to Practice by Nada Amin

 

In todays blog post we look at this wonderful explanation of some of the theory behind Dotty's type system by Nada Amin.

 

Enjoy and to see more of the Scala world talks click here.