Adding procedural-parametric polymorphism to the C language

Program development is often associated with incremental expansion of functionality. Increased reliability and quality in this case can be achieved by minimizing changes to already written code. For instrumental support of evolutionary development, a procedural-parametric paradigm is proposed, expanding the capabilities of the procedural approach. It provides painless extension of both data and functions, using static typing instead of type dereferencing. The work examines the inclusion of procedural-parametric mechanisms in the C language. Additional syntactic structures are proposed that are aimed at supporting the approach. These include: parametric generalizations, specializations of generalizations, generalizing functions, specialization handlers. Their capabilities are being considered. Situations are described in which it is possible to increase the reliability of a program through the use of procedural-parametric polymorphism.