Oliver Bračevac: Capture Checking - A New Approach to Effect Safety in Scala [Scala Days 2025]
Автор: Scala Days Conferences
Загружено: 2025-11-26
Просмотров: 241
Capture Checking is an upcoming feature that brings capability tracking into Scala’s type system, offering a new way to express and control effects in direct style, all without requiring monads or other heavy abstractions.
This talk introduces the core ideas behind Capture Checking, how it fits into Scala’s type system, and the kinds of bugs it can prevent. We’ll walk through practical examples that show how capabilities can improve safety and clarity in everyday code, and give a peek into how the compiler enforces these guarantees.
We’ll also talk about where things stand today: what’s implemented, what’s experimental, and what open questions remain. The goal is to give you a clear, realistic picture of Capture Checking as it exists now – its motivations, its mechanics, and its potential.
Whether you’re new to capabilities or wondering how effect tracking will evolve in Scala, this is your starting point.
by Oliver Bračevac (LAMP, EPFL)
![Oliver Bračevac: Capture Checking - A New Approach to Effect Safety in Scala [Scala Days 2025]](https://ricktube.ru/thumbnail/VCQoVhd4tuI/hq720.jpg)
Доступные форматы для скачивания:
Скачать видео mp4
-
Информация по загрузке:
![Martin Odersky： Where Are We With Scala's Capabilities? [Scala Days 2025 Keynote]](https://ricktube.ru/thumbnail/p-iWql7fVRg/mqdefault.jpg)
![Lukasz Marchewka: Akka Unplugged the anti-patterns that kill performance [Scala Days 2025]](https://ricktube.ru/thumbnail/GmDQueGOWeI/mqdefault.jpg)
![Venners & Sommers: Thinking in Scala 3 Types [Scala Days 2025]](https://ricktube.ru/thumbnail/qtjN8R8G-ec/mqdefault.jpg)
![Anton Sviridov: Tree Sitting will continue until Scala highlighting improves [Scala Days 2025]](https://ricktube.ru/thumbnail/qkUVytJ2zxQ/mqdefault.jpg)
![Ян-Питер ван ден Хеувел: Повышайте уровень, станьте инженером-компилятором [Scala Days 2025]](https://ricktube.ru/thumbnail/fZerJ7OaOV0/mqdefault.jpg)
![Johanna Odersky: Scala, Sound, and Structure - Composing Music through FP [Scala Days 2025]](https://ricktube.ru/thumbnail/xvDV-WLT-yA/mqdefault.jpg)
![Noel Welsh: Routing Http Requests with Scala 3 [Scala Days 2025]](https://ricktube.ru/thumbnail/RzIESFg8QqQ/mqdefault.jpg)
![Adam Warski: A Tour of Ox 1 0 - Direct Style Concurrency and Resiliency [Scala Days 2025]](https://ricktube.ru/thumbnail/Gn0q5zsGarA/mqdefault.jpg)
![Bendix Sältz: gRPC APIs for Autonomous Driving from Design to Implementation [Scala Days 2025]](https://ricktube.ru/thumbnail/Q7iUjldyrps/mqdefault.jpg)
![Грейвс и Каннуприя: Scala встречает GenAI — создаём крутые штуки с LLM4S [Scala Days 2025]](https://ricktube.ru/thumbnail/5od95FbNjiI/mqdefault.jpg)
![Jamie Thompson: Effective Match Types [Scala Days 2025]](https://ricktube.ru/thumbnail/v2SsPqvV6l8/mqdefault.jpg)