И.О. Слепцов¹, В.Э. Вольфенгаген²

¹НАО «ЮрИнфоР» (Москва, Россия)

²Национальный исследовательский ядерный университет «МИФИ» (Москва, Россия)

¹igor.slieptsov@mail.com

Постановка проблемы. Чистые функциональные предметно-ориентированные языки программирования используются для представления объектов предметной области, включая зависимости как объекты первого класса. Такие языки обладают свойствами, позволяющими гибко адаптировать решение под архитектуру проектируемой системы, содержащей несколько вычислительных сред (например, среда разработки, серверные вычисления, вычисления на клиенте). Особое внимание заслуживает контроль вычислений с управляемой стратегией вычисления.

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

Результаты. Предложен метод управления стратегией вычислений на основе спецификации стратегии редукции в виде объекта первого порядка. Продемонстрирована идея конструирования стратегии редукции на примере стандартных правил {β,η,μ,ν,ξ,τ} трансформационной семантики λ‑исчисления. Предложен абстрактный аппликативный язык стратегий редукций и формально определены его синтаксис и семантика.

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

Слепцов И.О., Вольфенгаген В.Э. Аппликативный язык конструирования стратегий редукций // Информационно-измерительные и управляющие системы. 2025. Т. 23. № 5. С. 95−101. DOI: https://doi.org/10.18127/j20700814-202505-10

1. Jingrong Chen, Yongji Wu, Shihan Lin, Yechen Xu, Xinhao Kong, Thomas Anderson, Matthew Lentz, Xiaowei Yang, Danyang Zhuo. Remote procedure call as a managed system service // 20th USENIX Symposium on Networked Systems Design and Implementation (NSDI-2023). 2023. P. 141−159.
2. Ruupert Koponen. Understanding re-emergence of the rpc model in web development. Bachelor’s thesis. 05 2024.
3. Wolfengagen V., Ismailova L., Kosikov S. Inferable methods for identifying objects // Biologically Inspired Cognitive Architectures. 2024. P. 435−441. Cham, 2024. Springer Nature Switzerland.
4. Brady E. Idris 2: Quantitative type theory in practice. 2021. arXiv:2104.00480.
5. Wolfengagen V., Ismailova L., Kosikov S. Logical-applicative computing based on type theory // Biologically Inspired Cognitive Architectures. 2024. P. 426−434. Cham, 2024. Springer Nature Switzerland.
6. HTML Standard. 2025. https://html.spec.whatwg.org/multipage/workers.html (25.06.2025).
7. Xiangfeng Zhu, Yuyao Wang, Banruo Liu, Yongtong Wu, Nikola Bojanic, Jingrong Chen, Gilbert Louis Bernstein, Arvind Krishnamurthy, Sam Kumar, Ratul Mahajan, and Danyang Zhuo. High-level programming for application networks // 22nd USENIX Symposium on Networked Systems Design and Implementation (NSDI-25). Philadelphia. PA. April 2025. USENIX Association. P. 915−935.
8. Ismailova L., Kosikov S., Slieptsov I. and Wolfengagen V. Semantic stabilization tools for managing the cognitive activity of the subject // Biologically Inspired Cognitive Architectures. 2021. P. 176−181. Cham. 2022. Springer International Publishing.
9. Слепцов И.О., Косиков С.В., Исмаилова Л.Ю. Тьюринг-полное расширение прикладного языка для описания функциональных зависимостей в предметной области // Информационные технологии в науке, управлении, социальной сфере и медицине. 2018. P. 378.
10. Ismailova L., Wolfengagen V., Kosikov S. Lambda-calculus, combinators and applicative computational technologies // Cognitive Systems Research. 2022. 76:93−100.
11. Барендрегт X. Лямбда-исчисление. Его синтаксис и семантика. Пер. с англ. Г.Е. Минца. М.: Мир. 1985.
12. de Bruijn N.G. Lambda calculus notation with nameless dummies, a tool for automatic formula manipulation, with application to the church-rosser theorem // Indagationes Mathematicae (Proceedings). 1972. 75(5):381−392.
13. Вольфенгаген В.Э. Конструкции языков программирования. ООО «ЮрИнфоР-Пресс». 2001.
14. Вольфенгаген В.Э. Методы и средства вычислений с объектами. Аппликативные вычислительные системы. ООО «ЮрИнфоР-Пресс». 2004.