Безопасный и эффективный язык программирования для промежуточных вычислений в пайплайнах оркестрации задач

Для оркестрации бизнес-процессов, состоящих из последовательно исполняемых задач, необходимо вычислять аргументы задач на основе ответа предыдущих. Языки программирования, выполняющие эти вычисления в популярных оркестраторах, обладают либо низкой выразительностью, либо низкой производительностью из-за проверок, гарантирующих безопасное вычисление. Мы предлагаем вынести часть проверок на этап статического анализа, введя в язык систему типов. Благодаря этой оптимизации, возможно поддержать высокую выразительность языка вместе с конкурентной производительностью, сохраняя безопасность вычислений. В рамках работы реализован прототип языка программирования, использующий оптимизации, открытые из-за введения системы типов. Благодаря статическому анализу, арифметические операции выполняются на 25% быстрее, чем без него, а благодаря эффективной реализации, вычисления в разработанном языке выполняются в 3 раза быстрее, чем в языке, используемом в оркестраторе Яндекс.Такси.