Scala 3 has aimed to get sound but I’m not sure how far they got? https://www.scala-lang.org/api/3.x/docs/blog/2016/02/17/scaling-dot-soundness.html https://ww

Scala 3 has aimed to get sound but I’m not sure how far they got? https://www.scala-lang.org/api/3.x/docs/blog/2016/02/17/scaling-dot-soundness.html https://www.scala-lang.org/api/3.x/docs/blog/2016/02/17/scal...