[WITS'24] Inside the Scala Capture Checker

[WITS'24] Inside the Scala Capture Checker

Martin Odersky

Capture checking is a type system task that ensures resource and effect safety of programs. The capture checker is now part of Scala’s compiler where it plays a role roughly analogous to borrow checking in Rust. Like Rust’s borrow checker, the capture checker in scalac runs as a separate pass after type checking. In my talk I do a deep dive into the algorithms and architecture of the capture checker, and discuss how it is embedded into the compiler as a whole.

Видео [WITS'24] Inside the Scala Capture Checker канала ACM SIGPLAN