maisМоделирование и анализ информационных системModeling and Analysis of Information Systems1818-10152313-5417Yaroslavl State University10.18255/1818-1015-2023-1-40-62mais-1766Research ArticleTheory of ComputingРасширение языка C для поддержки процедурно-параметрического полиморфизмаC Language Extension to Support Procedural-Parametric Polymorphismhttps://orcid.org/0000-0002-5487-0699ЛегаловАлександр ИвановичLegalovAlexander I.alegalov@hse.ruhttps://orcid.org/0000-0002-9035-312XКосовПавел ВладимировичKosovPavel V.pvkosov@hse.ruНациональный исследовательский университет «Высшая школа экономики»РоссияHigher school of Economics, National research UniversityRussian Federation2023280420233014062Copyright © Легалов А.И., Косов П.В., 20232023Легалов А.И., Косов П.В.Legalov A.I., Kosov P.V.Данная работа распространяется под лицензией Creative Commons Attribution 4.0.This work is licensed under a Creative Commons Attribution 4.0 License.https://www.mais-journal.ru/jour/article/view/1766

Разработка программного обеспечения зачастую связана с расширением функциональности. Для повышения надежности в этом случае необходимо минимизировать изменение ранее написанного кода. Для инструментальной поддержки эволюционной разработки программ была предложена процедурно-параметрическая парадигма программирования, что позволило повысить возможности процедурного подхода. Это обеспечивает безболезненное расширение как данных, так функций, используя при этом статическую типизацию. В работе рассматривается включение процедурно-параметрического программирования в язык C. Предлагаются дополнительные синтаксические конструкции, ориентированные на поддержку предлагаемого подхода. К ним относятся: параметрические обобщения, специализации обобщений, обобщающие функции, обработчики специализаций. Описываются их семантика, возможности и особенности технической реализации. Для проверки возможностей использования данного подхода построены модели процедурно-параметрических конструкций на языке программирования C. Приведенный пример демонстрирует гибкое расширение программы и поддержку множественного полиморфизма.

Software development is often about expanding functionality. To improve reliability in this case, it is necessary to minimize the change in previously written code. For instrumental support of the evolutionary development of programs, a procedural-parametric programming paradigm was proposed, which made it possible to increase the capabilities of the procedural approach. This allows to extend both data and functions painlessly. The paper considers the inclusion of procedural-parametric programming in the C language. Additional syntactic constructions are proposed to support the proposed approach. These constructions include: parametric generalizations, specializations of generalizations, generalizing functions, specialization handlers. Their semantics, possibilities and features of technical implementation are described. To check the possibilities of using this approach, models of procedural-parametric constructions in the C programming language were built. The example in the article demonstrates the flexible extension of the program and support of multiple polymorphism.

языки программированиякомпиляцияпроцедурно-параметрическое программированиеполиморфизммножественный полиморфизмэволюционная разработка программного обеспеченияprogramming languagescompilationprocedural-parametric programmingpolymorphismmultiple polymorphismevolutionary software developmentReferencesD. Shafer and D. A. Ritz, Practical Smalltalk. Using Smalltalk/V, Springer-Verlag. 1991, p. 233.D. Shafer and D. A. Ritz, Practical Smalltalk. Using Smalltalk/V, Springer-Verlag. 1991, p. 233.H. John, Advanced Guide to Python 3 Programming, Springer. 2019, p. 497.H. John, Advanced Guide to Python 3 Programming, Springer. 2019, p. 497.M. Gregoire, Professional C++, John Wiley & Sons. 2018, p. 1122.M. Gregoire, Professional C++, John Wiley & Sons. 2018, p. 1122.E. Sciore, Java Program Design, Apress Media. 2019, p. 1122.E. Sciore, Java Program Design, Apress Media. 2019, p. 1122.J. Albahari and B. Albahari, C# 6.0 Pocket Reference: Instant Help for C# 6.0 Programmers, O’Reilly Media. 2016, p. 224.J. Albahari and B. Albahari, C# 6.0 Pocket Reference: Instant Help for C# 6.0 Programmers, O’Reilly Media. 2016, p. 224.A. Freeman, Pro Go: The Complete Guide to Programming Reliable and Efficient Software Using Golang, Apress. 2022, p. 1105.A. Freeman, Pro Go: The Complete Guide to Programming Reliable and Efficient Software Using Golang, Apress. 2022, p. 1105.J. Blandy, J. Orendorff, and L. F. S. Tindall, Programming Rust, O’Reilly Media. 2021, p. 735.J. Blandy, J. Orendorff, and L. F. S. Tindall, Programming Rust, O’Reilly Media. 2021, p. 735.E. Gamma, R. Helm, R. Johnson, and J. Vlissides, Design Patterns. Elements of Reusable Object-Oriented Software, Addison-Wesley Professional. 1994, p. 416.E. Gamma, R. Helm, R. Johnson, and J. Vlissides, Design Patterns. Elements of Reusable Object-Oriented Software, Addison-Wesley Professional. 1994, p. 416.A. Alexandrescu, Modern C++ Design. Generic Programming and Design Patterns Applied., Addison-Wesley Professional. 2001, p. 360.A. Alexandrescu, Modern C++ Design. Generic Programming and Design Patterns Applied., Addison-Wesley Professional. 2001, p. 360.S. Meyers, More effective C++. 35 New Ways to Improve Your Programs and Designs, Addison-Wesley Professional. 1996, p. 318.S. Meyers, More effective C++. 35 New Ways to Improve Your Programs and Designs, Addison-Wesley Professional. 1996, p. 318.A. I. Legalov, “OOP, Multimethods and Pyramidal Evolution,” Open Systems, no. 3, pp. 41–45, 2002.A. I. Legalov, “OOP, Multimethods and Pyramidal Evolution,” Open Systems, no. 3, pp. 41–45, 2002.L. G. Demichiel, “Overview: The common lisp object system,” Lisp and Symbolic Computation, no. 1, pp. 227–244, 1989.L. G. Demichiel, “Overview: The common lisp object system,” Lisp and Symbolic Computation, no. 1, pp. 227–244, 1989.B. Stroustrup, Design and Evolution of C++, Addison-Wesley Professional. 1994, p. 480.B. Stroustrup, Design and Evolution of C++, Addison-Wesley Professional. 1994, p. 480.A. I. Legalov, Procedurally-parametric programming paradigm. Is it possible as alternative to the object-oriented style?, Dep. hands. Number 622-V00 Dep. VINITI 13.03.2000. 2000, p. 43.A. I. Legalov, Procedurally-parametric programming paradigm. Is it possible as alternative to the object-oriented style?, Dep. hands. Number 622-V00 Dep. VINITI 13.03.2000. 2000, p. 43.I. A. Legalov, “Using of generalized records in procedural-parametric programming language,” Scientific Bulletin of the NSTU, vol. 28, no. 3, pp. 25–37, 2007.I. A. Legalov, “Using of generalized records in procedural-parametric programming language,” Scientific Bulletin of the NSTU, vol. 28, no. 3, pp. 25–37, 2007.A. I. Legalov and D. A. Schvetc, “Procedural language with support for evolutionary design,” Scientific Bulletin of the NSTU, vol. 15, no. 2, pp. 25–38, 2003.A. I. Legalov and D. A. Schvetc, “Procedural language with support for evolutionary design,” Scientific Bulletin of the NSTU, vol. 15, no. 2, pp. 25–38, 2003.A. I. Legalov and P. V. Kosov, “Evolutionary extension of programs using the procedural-parametric approach,” Computational Technologies, vol. 21, no. 3, pp. 56–69, 2016.A. I. Legalov and P. V. Kosov, “Evolutionary extension of programs using the procedural-parametric approach,” Computational Technologies, vol. 21, no. 3, pp. 56–69, 2016.“Linux x86 Program Start Up or - How the heck do we get to main()? .” [Online]. Available: http://dbp-consulting.com/tutorials/debugging/linuxProgramStartup.html.“Linux x86 Program Start Up or - How the heck do we get to main()? .” [Online]. Available: http://dbp-consulting.com/tutorials/debugging/linuxProgramStartup.html.“An example of an evolutionary extension of a program using a procedural-parametric approach.” [Online]. Available: https://github.com/kreofil/c-evolution-example.“An example of an evolutionary extension of a program using a procedural-parametric approach.” [Online]. Available: https://github.com/kreofil/c-evolution-example.A. I. Legalov, “Multimethods and paradigms,” Open Systems, no. 5, pp. 33–37, 2002.A. I. Legalov, “Multimethods and paradigms,” Open Systems, no. 5, pp. 33–37, 2002.“Clang: a C language family frontend for LLVM.” [Online]. Available: https://clang.llvm.org/.“Clang: a C language family frontend for LLVM.” [Online]. Available: https://clang.llvm.org/.“The LLVM Compiler Infrastructure.” [Online]. Available: https://llvm.org/.“The LLVM Compiler Infrastructure.” [Online]. Available: https://llvm.org/.“LibTooling.” [Online]. Available: https://clang.llvm.org/docs/LibTooling.html.“LibTooling.” [Online]. Available: https://clang.llvm.org/docs/LibTooling.html.

The authors declare that there are no conflicts of interest present.