続・Dottyによる変更点 - 水底

以前以下のようなDottyに関する記事を書きました. amaya382.hatenablog.jp それから暫く経ち, 多くの更新が入ったため新しくまとめました. 公式ドキュメントだけでなくあちこちにちらばった情報を集めています. 過去記事と同じくあくまで真新しい機能のみに注目し, 理論的な部分や実装については深掘りしません. 概要のみなので, 個々の詳細は各見出しのリンク先を御覧ください. Dottyとは Dependent Object Types (DOT) に基づいた新しいScalaコンパイラです. Scala3系に相当します. DOT計算理論の詳細は省きます (まとめるほど理解できていないとも言う…). 現行のコンパイラと比べ, コンパイラサイズの減少・コンパイル速度向上・様々な機能追加の他, コンパイラ自体の開発安定性も増すパワフルなアップグレードが期待できます. 現行のSca

[FTTH]

Scala使わないマンなので言語仕様の話なのかコンパイラの話なのかよくわからないんだけど、「既にあった新仕様に、既存のコンパイラが対応した話」？

[uzimith]

Union Types, Enum 代数的データ型も入るのか

[zyzy]

ドキュメント読んだ感じ、2でlazyは元々デッドロック回避のための機能がついていて、これがスレッド使わなくてもオーバーヘッドでかいんで、デフォではつけず@volatile指定時のみ回避するようにしたっぽい？