В Enterprise сплошь и рядом встречается ситуация, когда алгоритм горизонтально не масштабируется потому, что выражается итерацией, где следующий шаг зависит от результата предыдущего. Как следствие, вместо идеоматичного SQL с пользовательской агрегатной функцией over partition by приходится писать императивный код. Таким "очевидно немасштабируемым" примером является простая и понятная с первого взгляда неотрицательная сумма в складском учёте.

В докладе через принятие магии математики мы пройдём от стадии отрицания самой возможности склеить вычисления неассоциативной операции к просветлению — силой моноида превратим алгоритм в параллельный MapReduce. И постараемся выявить основной ингредиент в рецепте приготовления подобных алгоритмов.