Расширение языка C для поддержки процедурно-параметрического полиморфизма

Моделирование и анализ информационных систем. 2023. Т. 30. № 1. С. 40–62.

Легалов А. И., Косов П. В.

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

Ключевые слова: компиляция, языки программирования, полиморфизм, Polymorphism, эволюционная разработка программного обеспечения, evolutionary software development, multiple polymorphism, процедурно-параметрическое программирование, множественный полиморфизм, compilation, programming languages, procedural-parametric programming