Параметризованные типы данных. История, теория, реализация и применение

Монография знакомит читателей с параметризованными типами данных, в которых типы элементов коллекций задаются в качестве параметров. Такой подход к программированию дает возможность реализации в единственном экземпляре обобщенного кода типовых алгоритмов, применимого для любых типов элементов коллекций, вместо дублирования аналогичного кода для различных конкретных типов элементов. Рассмотрены теоретические основы параметризованных типов данных, средства их определения в различных языках - классических (Симула-67, CLU, С++) и современных (Java, С#, F#, Visual Prolog). Приведено большое число содержательных примеров. Проанализированы особенности и методы реализации параметризованных типов. Сформулированы предложения автора по расширению языка Java в части параметризованных типов данных, описана его экспериментальная реализация, выполненная под научным руководством автора в дипломной работе. Рассмотрены перспективы параметризованных типов данных как одного из наиболее современных средств программирования.

Издание предназначено для специалистов в области информатики, а также для студентов старших курсов и аспирантов, обучающихся на специальностях, связанных с обработкой информации, в качестве учебного пособия.