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

作者在Dotty项目稳定后，重写了几次jaskell-dotty，尽量使用了Scala 3的类型特性，使其更完整、简洁。然而，最终未能将dotty版本合并到jaskell core，目前它们仍是两个独立的项目。