It's the reason why it took over a decade [1]. Also why some Scala 2 features were removed, they couldn't prove soundness. Haven't seen anything regarding gener

It's the reason why it took over a decade [1]. Also why some Scala 2 features were removed, they couldn't prove soundness. Haven't seen anything regarding generics there though. [1] https://www.scala-lang.org/blog/2016/02/03/essence-of-scala.html https://www.scala-lang.org/blog/2016/02/03/essence-of-scala....