Статья

Стековые языки программирования представляют собой особый класс вычислительных систем, в которых стек данных выступает основным механизмом передачи аргументов и хранения результатов вычислений. В работе выполнен аналитический обзор языков Forth, Joy, Cat, Factor и WebAssembly. Сопоставлены их синтаксические модели, подходы к типизации, средства статического и динамического анализа, методы оптимизации и способы управления памятью. Показано, что эволюция стековых языков идёт от минималистичных бестиповых систем к формализованным промежуточным представлениям и виртуальным машинам со строгой валидацией и развитым аппаратом анализа. Сделан вывод о том, что современная область наиболее устойчивого применения стековой парадигмы связана с переносимыми виртуальными машинами, промежуточными языками и системами безопасного исполнения кода.