Популярное

Музыка Кино и Анимация Автомобили Животные Спорт Путешествия Игры Юмор

Интересные видео

2025 Сериалы Трейлеры Новости Как сделать Видеоуроки Diy своими руками

Топ запросов

смотреть а4 schoolboy runaway турецкий сериал смотреть мультфильмы эдисон
dTub
Скачать

2025-09-12 Niklas Broberg: Revisiting the Expression Problem

Автор: chalmersfpunit

Загружено: 2025-09-23

Просмотров: 32

Описание:

The Expression Problem, famously coined by Phil Wadler, poses a challenge to programming language designers: How can a language enable extension of both data types, and operations over those data types, without requiring recompilation (cue the Open-Closed Principle)? No existing language supports this in full, in a way that is modular, easy and intuitive. In this talk, I will give an overview of the problem and its consequences; discuss a number of solutions proposed over the past 20 years; and present some recent thesis projects where students have tackled this challenge in different ways.

2025-09-12 Niklas Broberg: Revisiting the Expression Problem

Поделиться в:

Доступные форматы для скачивания:

Скачать видео mp4

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

Скачать аудио mp3

Похожие видео

2025-11-28 Alex Gerdes: Generating feedback from rewrite strategies for interactive exercises

2025-11-28 Alex Gerdes: Generating feedback from rewrite strategies for interactive exercises

Сисадмины больше не нужны? Gemini настраивает Linux сервер и устанавливает cтек N8N. ЭТО ЗАКОННО?

Сисадмины больше не нужны? Gemini настраивает Linux сервер и устанавливает cтек N8N. ЭТО ЗАКОННО?

Самая сложная модель из тех, что мы реально понимаем

Самая сложная модель из тех, что мы реально понимаем

The Windows 11 Disaster That's Killing Microsoft

The Windows 11 Disaster That's Killing Microsoft

4 часа Шопена для обучения, концентрации и релаксации

4 часа Шопена для обучения, концентрации и релаксации

🔥 DDR5 СВОИМИ РУКАМИ | Выживаем в кризис памяти 2026 года 💪| SODIMM - UDIMM без переходников

🔥 DDR5 СВОИМИ РУКАМИ | Выживаем в кризис памяти 2026 года 💪| SODIMM - UDIMM без переходников

Кто пишет код лучше всех? Сравнил GPT‑5.2, Opus 4.5, Sonnet 4.5, Gemini 3, Qwen 3 Max, Kimi, GLM

Кто пишет код лучше всех? Сравнил GPT‑5.2, Opus 4.5, Sonnet 4.5, Gemini 3, Qwen 3 Max, Kimi, GLM

Но что такое нейронная сеть? | Глава 1. Глубокое обучение

Но что такое нейронная сеть? | Глава 1. Глубокое обучение

Ditch your Favorite Programming Paradigm

Ditch your Favorite Programming Paradigm

Атака на ФРС: зачем Трампу карманный Центробанк? Экономический смысл с Олегом Ицхоки

Атака на ФРС: зачем Трампу карманный Центробанк? Экономический смысл с Олегом Ицхоки

Start coding with JAVA in 10 minutes! ☕

Start coding with JAVA in 10 minutes! ☕

Typst: Современная замена Word и LaTeX, которую ждали 40 лет

Typst: Современная замена Word и LaTeX, которую ждали 40 лет

Zettelkasten + AI: Как я связал ChatGPT и Obsidian в единую систему знаний

Zettelkasten + AI: Как я связал ChatGPT и Obsidian в единую систему знаний

Что происходит с нейросетью во время обучения?

Что происходит с нейросетью во время обучения?

4 Hours Chopin for Studying, Concentration & Relaxation

4 Hours Chopin for Studying, Concentration & Relaxation

Что такое Rest API (http)? Soap? GraphQL? Websockets? RPC (gRPC, tRPC). Клиент - сервер. Вся теория

Что такое Rest API (http)? Soap? GraphQL? Websockets? RPC (gRPC, tRPC). Клиент - сервер. Вся теория

Почему КРИС РИ так и не стал поп-звездой?

Почему КРИС РИ так и не стал поп-звездой?

Покойся с миром, Arduino и Open Hardware... спасибо Qualcomm

Покойся с миром, Arduino и Open Hardware... спасибо Qualcomm

ООП На Простых Примерах | Объектно-Ориентированное Программирование

ООП На Простых Примерах | Объектно-Ориентированное Программирование

Структура файлов и каталогов в Linux

Структура файлов и каталогов в Linux

© 2025 dtub. Все права защищены.



  • Контакты
  • О нас
  • Политика конфиденциальности



Контакты для правообладателей: infodtube@gmail.com