Параметрический полиморфизм в языках программирования и теории типов — свойство семантики системы типов, позволяющее обрабатывать значения разных типов...

разновидностей полиморфизма. Две принципиально различных из них были описаны Кристофером Стрэчи[англ.] в 1967 году: это параметрический полиморфизм➤ и ad-hoc-полиморфизм➤...

типизация, однако, в отличие от параметрического полиморфизма, первая приводит к накладным расходам. Параметрический полиморфизм наиболее развит в языках, типизированных...

подэкземпляр. C++ поддерживает динамический полиморфизм и параметрический полиморфизм. Параметрический полиморфизм представлен: Аргументами по умолчанию для...

функций) в 1970-х годах в языках Клу и Ада, затем — в виде параметрического полиморфизма в ML и его потомках, а затем — во многих объектно-ориентированных...

информации о типе и внутренней структуре объекта. Другой вид полиморфизма — параметрический — в ООП называют обобщённым программированием. Класс Класс —...

Си-подобных языках (перегрузка, ad-hoc-полиморфизм) и полиморфизм подтипов, а также параметрический полиморфизм и классы типов в экспериментальных языках...

1546 дней] Виртуальные методы — один из важнейших приёмов реализации полиморфизма. Они позволяют создавать общий код, который может работать как с объектами...

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

образцы, охраняющие выражения (guards); параметрический полиморфизм и его объединение с ad-hoc-полиморфизмом в единую модель посредством классов типов;...

Ocaml➤. Более того, на эти возможности также распространяется параметрический полиморфизм, что делает язык ещё более выразительным. Разумеется, язык модулей...

некоторые даже на уровне системы типов (см. Eiffel, а также параметрический полиморфизм в языках семейства ML); такие языки не нуждаются в механизмах...

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

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

Джон Рейнольдс. Система F позволяет формализовать концепцию параметрического полиморфизма в языках программирования и служит теоретической основой для...

здесь возможно много вариантов правил. Наличие в языке параметрического или ситуативного полиморфизма может также влиять на совместимость типов. Одни программисты...

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

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

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

Си, заимствующим многие идеи из ML➤ (включая типобезопасный параметрический полиморфизм). Cyclone предназначен для тех же задач, что и Си, и после осуществления...

рекурсивные (определяемые по индукции) типы данных[англ.] и параметрический полиморфизм. Такие типы могут быть определены как в традиционном синтаксисе...

для них, аргументы-домены (Generic Interfaces and Classes) и параметрический полиморфизм, мониторы (Monitors with guards), императивные конструкции (foreach...

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

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

НГТУ, № 3 (18), 2004. С. 63-72. Легалов А. И. Методы поддержки параметрического полиморфизма. — Научный вестник НГТУ, № 3 (18), 2004. С. 73-82. Легалов А...

следует масса общих черт (первоклассные функции, типобезопасный параметрический полиморфизм, алгебраические типы данных и сопоставление с образцом на них)...

чрезвычайно высокий показатель повторного использования кода за счёт параметрического полиморфизма. Сильная, но неполиморфная система типов может затруднить решение...

был первым шагом разработки MLton.➤ мономорфизации, делающей параметрический полиморфизм «бесплатным». В отличие от шаблонов C++, за счёт сочетания с...

от универсального полиморфизма, но в определённых случаях использование экзистенциальных типов поднимает параметрический полиморфизм на первоклассный уровень...

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

естественных преобразований — полиморфные функции (имеется в виду параметрический полиморфизм). Примером такого преобразования является функция reverse ::...