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

Martin Odersky: Where Are We With Scala's Capabilities? [Scala Days 2025 Keynote] скачать в хорошем качестве

Martin Odersky: Where Are We With Scala's Capabilities? [Scala Days 2025 Keynote] 2 недели назад

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

скачать mp3

скачать mp4

поделиться

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

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

бесплатно

загрузить,

Не удается загрузить Youtube-плеер. Проверьте блокировку Youtube в вашей сети.
Повторяем попытку...
Martin Odersky: Where Are We With Scala's Capabilities? [Scala Days 2025 Keynote]
  • Поделиться ВК
  • Поделиться в ОК
  •  
  •  


Скачать видео с ютуб по ссылке или смотреть без блокировок на сайте: Martin Odersky: Where Are We With Scala's Capabilities? [Scala Days 2025 Keynote] в качестве 4k

У нас вы можете посмотреть бесплатно Martin Odersky: Where Are We With Scala's Capabilities? [Scala Days 2025 Keynote] или скачать в максимальном доступном качестве, видео которое было загружено на ютуб. Для загрузки выберите вариант из формы ниже:

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

Скачать mp3 с ютуба отдельным файлом. Бесплатный рингтон Martin Odersky: Where Are We With Scala's Capabilities? [Scala Days 2025 Keynote] в формате MP3:


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



Martin Odersky: Where Are We With Scala's Capabilities? [Scala Days 2025 Keynote]

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. Capabilities are a unifying concept for many aspects of programming, including permissions, effects, and resources. They can be the missing link that can make combinations of functional and imperative programming safe. 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. At EPFL 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. We are now two years into a project to make these ideas usable on a large scale. I will report on the state of capability checking today: the usage experience with these concepts, what measures we took to make the notations more ergonomic, and what our plans for the future are. by Martin Odersky (EPFL)

Comments
  • Ralf Jung: What's the deal with unsafe Rust? [Scala Days 2025 Keynote] 2 недели назад
    Ralf Jung: What's the deal with unsafe Rust? [Scala Days 2025 Keynote]
    Опубликовано: 2 недели назад
  • Перестаньте мне рассказывать о _Generic 2 недели назад
    Перестаньте мне рассказывать о _Generic
    Опубликовано: 2 недели назад
  • Rebooting Defense: Why Software Defined Warfare is the Future 13 часов назад
    Rebooting Defense: Why Software Defined Warfare is the Future
    Опубликовано: 13 часов назад
  • Valhalla? Python? Withers? Lombok? - Ask the Architects at JavaOne'25 2 дня назад
    Valhalla? Python? Withers? Lombok? - Ask the Architects at JavaOne'25
    Опубликовано: 2 дня назад
  • C3 vs Zig in 2025: Who’s Really Fixing C? 12 дней назад
    C3 vs Zig in 2025: Who’s Really Fixing C?
    Опубликовано: 12 дней назад
  • Eugene Yokota: sbt 2 0: go big [Scala Days 2025] 2 недели назад
    Eugene Yokota: sbt 2 0: go big [Scala Days 2025]
    Опубликовано: 2 недели назад
  • Обсуждение статьи LWN о Zig Async I/O 13 дней назад
    Обсуждение статьи LWN о Zig Async I/O
    Опубликовано: 13 дней назад
  • Zig got better and I almost missed it 2 недели назад
    Zig got better and I almost missed it
    Опубликовано: 2 недели назад
  • The End Of Java's 1-Billion-Row Challenge (Ep. 5) | With @caseymuratori ​ 11 дней назад
    The End Of Java's 1-Billion-Row Challenge (Ep. 5) | With @caseymuratori ​
    Опубликовано: 11 дней назад
  • Сисадмины больше не нужны? Gemini настраивает Linux сервер и устанавливает cтек N8N. ЭТО ЗАКОННО? 2 дня назад
    Сисадмины больше не нужны? Gemini настраивает Linux сервер и устанавливает cтек N8N. ЭТО ЗАКОННО?
    Опубликовано: 2 дня назад
  • Martin Odersky on the Future of Scala, Learning, Teaching and the Quest for the Perfect Language 8 месяцев назад
    Martin Odersky on the Future of Scala, Learning, Teaching and the Quest for the Perfect Language
    Опубликовано: 8 месяцев назад
  • Building the PERFECT Linux PC with Linus Torvalds 2 недели назад
    Building the PERFECT Linux PC with Linus Torvalds
    Опубликовано: 2 недели назад
  • Pentagon Press Conference Cold Open - SNL 9 дней назад
    Pentagon Press Conference Cold Open - SNL
    Опубликовано: 9 дней назад
  • Adam Warski: A Tour of Ox 1 0 - Direct Style Concurrency and Resiliency [Scala Days 2025] 2 недели назад
    Adam Warski: A Tour of Ox 1 0 - Direct Style Concurrency and Resiliency [Scala Days 2025]
    Опубликовано: 2 недели назад
  • Почему не весь сыр одинаково полезен, что действительно важно знать 2 дня назад
    Почему не весь сыр одинаково полезен, что действительно важно знать
    Опубликовано: 2 дня назад
  • Что нового в C# 14 1 месяц назад
    Что нового в C# 14
    Опубликовано: 1 месяц назад
  • Unison, from a Scala perspective by Olivier Mélois | Scalar Conference 2025 8 месяцев назад
    Unison, from a Scala perspective by Olivier Mélois | Scalar Conference 2025
    Опубликовано: 8 месяцев назад
  • Стоило ли покупать УБИТЫЙ MacBook за 5000₽? Результат ШОКИРОВАЛ! Ремонт MacBook Pro 15 1013 a1398 4 дня назад
    Стоило ли покупать УБИТЫЙ MacBook за 5000₽? Результат ШОКИРОВАЛ! Ремонт MacBook Pro 15 1013 a1398
    Опубликовано: 4 дня назад
  • Are Virtual Threads Going to Make Reactive Programming Irrelevant? 1 год назад
    Are Virtual Threads Going to Make Reactive Programming Irrelevant?
    Опубликовано: 1 год назад
  • Почему у самолётов моторы именно ТАМ? Крыло против ХВОСТА 5 дней назад
    Почему у самолётов моторы именно ТАМ? Крыло против ХВОСТА
    Опубликовано: 5 дней назад

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

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



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