Skip to content
Hallway
0:00 / 0:00

#dotty#scala3#typesystem

Dotty Internals 2: Types

Dmitry Petrashko

75 subscribers • 2 videos on Hallway

YouTube
  • Recommended by 2 people: 2 in engineering communities.
  • A classic. People kept recommending it from 2019 to 2024.
  • Presented by Martin Odersky, creator of Scala
  • Linked in the descriptionlampepfl/dotty

Advanced. Deep dive for people who know the field.

1.9K views9 years ago2 recommendations

Programming languagesSystems programmingCompilers and interpretersLanguage design and type systemsScala

Martin Odersky introduces the hierarchy of types and type system internals in the Dotty compiler.

Previous episode: youtu.be/yYd-zuDd3S8 In this episode Martin Odersky introduces Hierarchy of Types in Dotty. By twitter.com/darkdimius dotty.epfl.ch - Dotty website with documentation github.com/lampepfl/dotty - dotty source Have questions? join us on gitter.im/lampepfl/dotty

Why it's here

2 people recommend this

What people say. Recommended for developers looking to understand the internals of the Scala 3 compiler and its type system.

u/coniurarein r/scala • Recommends

On “Any recommendations on books for understanding the Scala compiler or compilers in general?”

Graydon Hoare (the creator of Rust and now working for Apple on Swift) was asked this questions (about compilers in general, not scalac) last year and recommended the following books in addition to the tiger book, TAPL and Advanced Compiler Design and Implementation which were already mentioned: - Programming Language Pragmatics 4th Edition - Practical Foundations for Programming Languages - Garbage Collection which seems irrelevant since you want to contribute to the scala compiler and not the JVM There are also some videos about the scala compiler but since you already have contributed to the compiler I don't know how valuable those are for you: - [Scalac Survival Guide - BFPG 2015 - J…
16View on Reddit

u/Aggravating_Fall_534in r/ProgrammingLanguages • Recommends

On “Dependent Object Types resources?”

These two videos go through the internals of dotty: link to this video link to this video
1View on Reddit