Effect oriented programming — Системы эффектов в языках программирования

Что общего у скорости вычислений, мутабельности, кеширования и исключений? Все это – сайд-эффекты, которые сопровождают результаты вычислений. Виталий Брагилевский показал нам невероятно прекрасную картину, которая открывается, если рассматривать все возможные эффекты как часть одной системы – программирование становится более простым, контролируемым и выразительным!

Содержание:

• 00:00 О чем выпуск
• 07:28 Влияние эффектов или их отсутствие
• 28:10 Разновидности сайд-эффектов
• 32:14 Исключения как эффект
• 40:47 Кэширование и отказоустойчивость
• 54:17 Влияние контекста на вычисления
• 01:04:44 Алгебраические эффекты
• 01:07:43 Эффекты в динамических языках
• 01:08:45 Преимущества системы эффектов
• 01:23:38 Тестирование эффектов
• 01:26:24 Реализация систем эффектов в языках программирования
• 01:44:40 Как соотносятся системы эффектов и линейные типы
• 01:45:46 Эффекты в Unison
• 01:56:37 Дебаг
• 02:07:35 Заключение