[ICFP24] Capabilities for Control
Автор: ACM SIGPLAN
Загружено: 2024-11-24
Просмотров: 1393
Capabilities for Control (Video, ICFP 2024)
Martin Odersky
(EPFL)
Abstract: Today’s server-side programs use sophisticated abstractions for effects such as scheduling parallel and asynchronous computations, error handling, or resource management. Capabilities are a convenient way to structure such computations and establish their safety. The object-capability model, which at its core is more than 50 years old, is currently experiencing a renaissance as an inspiration for new type systems that manage effects. It turns out that a capability-based approach can solve sticky problems about effect polymorphism, including the “what color is your function?” problem. In my talk I show how we can use capabilities to model effects, how we can control the lifetime of capabilities, and how that provides a simple and expressive foundation to compose control effects flexibly.
Presentation at the ICFP 2024 conference, September 2–7, 2024, https://icfp24.sigplan.org/
Sponsored by ACM SIGPLAN,
![[ICFP24] Capabilities for Control](https://ricktube.ru/thumbnail/qj4e5NgndnU/hq720.jpg)
Доступные форматы для скачивания:
Скачать видео mp4
-
Информация по загрузке:
![[ICFP24] Memorial for D. Turner & Arvind](https://ricktube.ru/thumbnail/JoG1F5bQ7tQ/mqdefault.jpg)
