• ClipSaver
ClipSaver
Русские видео
  • Смешные видео
  • Приколы
  • Обзоры
  • Новости
  • Тесты
  • Спорт
  • Любовь
  • Музыка
  • Разное
Сейчас в тренде
  • Фейгин лайф
  • Три кота
  • Самвел адамян
  • А4 ютуб
  • скачать бит
  • гитара с нуля
Иностранные видео
  • Funny Babies
  • Funny Sports
  • Funny Animals
  • Funny Pranks
  • Funny Magic
  • Funny Vines
  • Funny Virals
  • Funny K-Pop

Keynote: Making Capabilities Safe and Convenient - Martin Odersky | Lambda Days 2025 скачать в хорошем качестве

Keynote: Making Capabilities Safe and Convenient - Martin Odersky | Lambda Days 2025 3 месяца назад

скачать видео

скачать mp3

скачать mp4

поделиться

телефон с камерой

телефон с видео

бесплатно

загрузить,

Не удается загрузить Youtube-плеер. Проверьте блокировку Youtube в вашей сети.
Повторяем попытку...
Keynote: Making Capabilities Safe and Convenient - Martin Odersky | Lambda Days 2025
  • Поделиться ВК
  • Поделиться в ОК
  •  
  •  


Скачать видео с ютуб по ссылке или смотреть без блокировок на сайте: Keynote: Making Capabilities Safe and Convenient - Martin Odersky | Lambda Days 2025 в качестве 4k

У нас вы можете посмотреть бесплатно Keynote: Making Capabilities Safe and Convenient - Martin Odersky | Lambda Days 2025 или скачать в максимальном доступном качестве, видео которое было загружено на ютуб. Для загрузки выберите вариант из формы ниже:

  • Информация по загрузке:

Скачать mp3 с ютуба отдельным файлом. Бесплатный рингтон Keynote: Making Capabilities Safe and Convenient - Martin Odersky | Lambda Days 2025 в формате MP3:


Если кнопки скачивания не загрузились НАЖМИТЕ ЗДЕСЬ или обновите страницу
Если возникают проблемы со скачиванием видео, пожалуйста напишите в поддержку по адресу внизу страницы.
Спасибо за использование сервиса ClipSaver.ru



Keynote: Making Capabilities Safe and Convenient - Martin Odersky | Lambda Days 2025

✨ This talk was recorded at Lambda Days in June 2025. If you're curious about our upcoming event, check https://lambdadays.org ✨ Keynote: Making Capabilities Safe and Convenient The object capability model has been established since the 1960s. It is probably the most obvious and clean way to protect trusted from untrusted components in a complex system. So why are object capabilities not used everywhere? I argue it's because they currently lack in both convenience and safety: Convenience: Passing all capabilities along long call chains to code that needs them can quickly get tedious. Safety: Access restrictions such as limited lifetimes or sharing are traditionally encoded using runtime mechanisms with the possibility of runtime failures. In Scala, we have been working on overcoming these two impediments. Convenience: capabilities can be passed as implicit parameters in using clauses, and capability passing can be completely abstracted over using context functions. Safety: We have extended the type system to track capabilities in types. Specifically, we track which capabilities are closed over in a lambda or object. I will report on the initial usage experience with these concepts and the measures we took to make the notations ergonomic. Let's keep in touch! Follow us on: 💥BlueSky: https://bsky.app/profile/lambdadays.b... 💥LinkedIn:   / lambda-days   💥Facebook:   / lambdadays   💥Mastodon: https://genserver.social/codesync 💥Twitter:   / lambdadays  

Comments

Контактный email для правообладателей: [email protected] © 2017 - 2025

Отказ от ответственности - Disclaimer Правообладателям - DMCA Условия использования сайта - TOS



Карта сайта 1 Карта сайта 2 Карта сайта 3 Карта сайта 4 Карта сайта 5