DOT計算をやさしく説明する

DOT計算とは、処理系Dotty（Scala 3.0になる予定です）の基礎となる理論です。DOT計算とは、Scalaの本質的な部分を抽出して、理論的に取扱いやすくしたモデルです。このようなモデルを核言語（core calculus）といい、プログラミング言語の性質を検証するために使われます。このセッションでは、DOT計算についてやさしく説明します。

トークの長さ

40分

発表言語

日本語

聴衆の対象

上級者: 分野に精通している人向けでトークでは入門の話は少なめ

こんな人におすすめ

プログラミング言語に関する理論に興味がある人
Scalaの理論的基盤に興味がある人
より深くScalaを知りたい人

発表者

kmizu（水島宏太） (株式会社ドワンゴ)

• Scala Days 2010
• ScalaMatsuri 2018
• Scala福岡2019

貢献

• fialyzer (https://github.com/dwango/fialyzer)
• Onion (https://github.com/onion-lang/onion)
• Klassic (https://github.com/klassic/klassic)