Скачать
[WITS'24] Inside the Scala Capture Checker
Автор: ACM SIGPLAN
Загружено: 2024-03-22
Просмотров: 924
Описание:
[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.
Не удается загрузить Youtube-плеер. Проверьте блокировку Youtube в вашей сети.
Повторяем попытку...
Повторяем попытку...
![[WITS'24] Inside the Scala Capture Checker](https://imager.clipsaver.ru/O07c0fleW38/max.jpg)
Доступные форматы для скачивания:
Скачать видео
-
Информация по загрузке:
![[WITS'24] Binding Syntax for Dependently-Typed Programs](https://imager.clipsaver.ru/IJCbOVEtxqk/max.jpg)
![[CPP'26] Specification, Semantics, and Verification of Quantum Programs](https://imager.clipsaver.ru/BeDG46EAgjE/max.jpg)
![[CPP'26] A Recipe for Modular Verification of Generic Tree Traversals](https://imager.clipsaver.ru/GBSGXYngWcg/max.jpg)
