Что общего у скорости вычислений, мутабельности, кеширования и исключений? Все это – сайд-эффекты, которые сопровождают результаты вычислений. Виталий Брагилевский показал нам невероятно прекрасную картину, которая открывается, если рассматривать все возможные эффекты как часть одной системы – программирование становится более простым, контролируемым и выразительным!
Содержание:
- 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 Заключение
