Немного перефразируя Кинга, у каждого начинающего разработчика языков программирования рано или поздно возникает идея о системе эффектов.

Это активная тема исследований в теории типов последние лет 30, и весьма активно используется бекенд-разработчиками последние лет 5, даже если где-то язык не умеет это из коробки. State of the art можно посмотреть здесь. Может показаться, что это касается только функциональных ЯП, но это совсем не так.