?
ПРОЦЕДУРНО–ПАРАМЕТРИЧЕСКИЙ ПОЛИМОРФИЗМ В ЯЗЫКЕ С ДЛЯ ПОВЫШЕНИЯ НАДЕЖНОСТИ ПРОГРАММ
Разработка программ зачастую связана с инкрементальным расширением функциональности. Для повышения надежности в этом случае необходимо минимизировать изменение ранее написанного кода. Для инструментальной поддержки эволюционной разработки предложена процедурно– параметрическая парадигма, расширяющая возможности процедурного подхода. Она обеспечивает безболезненное расширение как данных, так функций, используя при этом статическую типизацию вместо разыменования типов. В работе рассматривается включение процедурно–параметрических механизмов в язык C, который часто используется для параллельного и распределенного программирования. Предлагаются дополнительные синтаксические конструкции, ориентированные на поддержку подхода. К ним относятся: параметрические обобщения, специализации обобщений, обобщающие функции, обработчики специализаций. Рассматриваются их возможности. Описаны ситуации, при которых возможно повышение надежности программы за счет использования процедурно–параметрического полиморфизма.