Gentle introduction to DOT calculus

The Dependent Object Types (DOT) calculus is the theory on which Dotty (which will be Scala 3.0) is based. The DOT calculus is a model to understand the theoretical backbone of Scala. Such a model is called a “core calculus”, and it is used to prove the characteristics of a programming language. In this session, I’ll give a gentle introduction to the DOT calculus.

Session length

40 minutes

Language of the presentation

Japanese

Target audience

Advanced: For those who are experts in the field

Who is your session intended to

Those interested in programming language theory
Those interested in the theoretical foundation of Scala
Those who want to understand Scala deeper

Speaker

Kota Mizushima (kmizu) (Dwango, Inc)

• Scala Days 2010
• ScalaMatsuri 2018
• Scala Fukuoka 2019

Contributes

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