这篇文章是关于Dotty发展的补发。在这段时间里，我多次重写了jaskell-dotty，最终随着dotty项目的稳定，jaskell dotty也变得稳定。总的来说，Jaskell Dotty尽量使用了Scala 3的类型特性，实现更完整、简洁。但因此，我没能将dotty版本合并到jaskell core。目前它们仍然是两个独立的项目。