Параметризованные типы данных: история, теория

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