Теоретико-категорный подход к компиляции и интерфейсу внешних функций¶

Описание¶

Есть такая статья, написанная Вашим покорным слугой: SSA Algebras.

Основная идея заключается в том, что форма SSA с небольшой корректировкой определения оказывается простым и полезным математическим объектом, имеющим достаточно много полезных свойств. В частности, программы в форме SSA образуют категорию.

В актуальной презентации указан набор правок оригинального текста и новых теорем и продвижений. Предлагается взяться за дальнейшее изучение этого математического объекта с, возможно, последующей публикацией результатов.

Предстоящие задачи:

изучить построенный математический объект;
произвести сравнение с категорией портов (часть 5 в 7 Sketches in Compositionality);
произвести сравнение с конструкцией Free Monad в функциональном программировании;
построить категорию с произведениями на основе SSA;
формализовать компиляцию и интерфейс внешних функций (взаимодействие нескольких языков) в рамках данного теоретического фреймворка.

Тестовое задание¶

Разобраться в актуальной презентации и всех необходимых определениях и обсудить на собеседовании.