Image credit pedrorijo.com 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.