Алгебраические эффекты. Никита Шильников.

Алгебраические эффекты — горячая тема в теории языков программирования. Регулярно выходят статьи и доклады о том, как глубже, дальше и сильнее обрабатывать эффекты. Но какое это имеет отношение к реальной жизни? Оказывается, самое непосредственное. Например, алгебраические эффекты лежат в основе механизма работы хуков в реакте, а реакт в представлении не нуждается. В прошлом году я рассказал об общей идее эффектов и вкратце показал как выглядит код, использующий эффекты. Примеры были выборочные, а сама идея изложена в общих чертах. В этом году я хочу разобрать из чего состоит библиотека эффектов и как сделать свою. Погрузимся в детали, чтобы понять, как эффекты будут взаимодействовать с существующим кодом. Цель — наглядно убедиться, что порог входа куда ниже, чем может показаться. Посмотрим на реализацию наиболее типичных эффектов вроде получения текущего времени и доступа к общему состоянию. В конце разберем работу в многопоточной среде, чтобы совсем уж ничего не бояться.