Algebraic Effects for the Rest of Us – статья с простым объяснением “алгебраических эффектов”. Это такой простой способ восстанавливаться после исключений в той точке, где исключение произошло, передавая туда определнные значения. Мне кажется, решается всё то же, для чего используется Dependency Injection, просто в функциональном стиле. По крайней мере, такие выводы у меня из статьи. Как и со всеми подобными концепциями, почитать детали можно в мудрёных научных журналах, а потрогать в чисто академических языках, переполненных загадочными символами. Однако концепция интересная, наверняка будет где-нибудь в Python 4.5.