I am not sure how complete/correct it is, but there is one for 2.9 [1]
Martin Odersky & co have been focusing most of their effort the last few years on Dotty (aka Scala 3), which succeeded in giving in giving Scala a proven theoretical basis in exchange for a few esoteric typesystem features they couldn't prove. [2]
Martin Odersky & co have been focusing most of their effort the last few years on Dotty (aka Scala 3), which succeeded in giving in giving Scala a proven theoretical basis in exchange for a few esoteric typesystem features they couldn't prove. [2]
[1]: http://www.scala-lang.org/old/sites/default/files/linuxsoft_...
[2] http://www.scala-lang.org/blog/2016/02/03/essence-of-scala.h...