I.O. Slieptsov¹, V.E. Wolfengagen²

¹LLC "JurInfoR" (Moscow, Russia)

²National Research Nuclear University MEPhI (Moscow, Russia)

¹igor.slieptsov@mail.com

Pure functional domain-specific languages are useful for working with domain object declaratively, and in particular, with functions as first-class objects. Pure functional nature of such DLS allows agile adaptation of a program to the architecture of the designed system containing several computing environments (e.g., development environment, server computing, client computing). The problem of controlled computing with a controlled computation strategy deserves special attention.

The goal of this research is to develop tools for managing the computation strategy in systems, whose expressions are represented by terms of some pure applicative programming language.

In this paper, we propose a method for controlling the computation strategy based on the specification of the reduction strategy as a first-order object. The idea of constructing a reduction strategy is demonstrated using the standard rules βημνξτ of the transformational semantics of the λ-calculus. An abstract applicative language of reduction strategies is proposed, its syntax and semantics are formally defined.

The proposed applicative language for constructing reduction strategies allows one to apply the applicative development method to the very problem of constructing a reduction strategy, defining the properties of the required computations, and even specifying the transformational semantics of the language.

Slieptsov I.O., Wolfengagen V.E. Applicative language for constructing reduction strategies. Information-measuring and Control Systems. 2025. V. 23. № 5. P. 95−101. DOI: https://doi.org/10.18127/j20700814-202505-10 (in Russian)

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. Sleptsov I.O., Kosikov S.V., Ismailova L.Yu. Tyuring-polnoe rasshirenie prikladnogo yazyka dlya opisaniya funktsionalnykh zavisimostei v predmetnoi oblasti. Informatsionnye tekhnologii v nauke, upravlenii, sotsialnoi sfere i meditsine. 2018. P. 378. (in Russian)
10. Ismailova L., Wolfengagen V., Kosikov S. Lambda-calculus, combinators and applicative computational technologies. Cognitive Systems Research. 2022. 76:93−100.
11. Barendregt X. Lyambda-ischislenie. Ego sintaksis i semantika. Per. s angl. G.E. Mintsa. M.: Mir. 1985. (in Russian)
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. Volfengagen V.E. Konstruktsii yazykov programmirovaniya. OOO "YurInfoR-Press". 2001. (in Russian)
14. Volfengagen V.E. Metody i sredstva vychislenii s ob'ektami. Applikativnye vychislitelnye sistemy. OOO "YurInfoR-Press". 2004. (in Russian)