Параметрический полиморфизм

От / / Оставьте комментарий

Параметрический полиморфизм Параметрический полиморфизм позволяет создавать функции, которые работают с произвольными типами.  Параметрически полиморфные функции могут быть созданы для любого […]

Generic programming, Polymorphism (computer science), Type theory, Общее программирование, Полиморфизм (информатика), Теория типов

Параметрический полиморфизм

  • Параметрический полиморфизм позволяет создавать функции, которые работают с произвольными типами. 
  • Параметрически полиморфные функции могут быть созданы для любого типа в семействе. 
  • Параметрический полиморфизм был представлен в языках программирования ML в 1975 году. 
  • Полиморфизм ранга 1 (предикативный) ограничивает переменные типа, делая различие между полиморфными и неполиморфными типами. 
  • Непредикативный полиморфизм является наиболее мощной формой параметрического полиморфизма и позволяет создавать экземпляры переменных любого типа. 
  • Ограниченный параметрический полиморфизм признает преимущества ограничения параметров типов для определенных операций. 
  • В большинстве объектно-ориентированных языков программирования, поддерживающих параметрический полиморфизм, параметры могут быть ограничены подтипами заданного типа. 

Полный текст статьи:

Параметрический полиморфизм — Википедия

Похожие статьи:

  1. Полиморфизм (информатика) Полиморфизм (информатика) Полиморфизм — способность одного типа данных или функции иметь несколько форм или значений.  Существует...
  2. Специальный полиморфизм Специальный полиморфизм Специальный полиморфизм в языках программирования позволяет применять полиморфные функции к аргументам разных типов.  Перегрузка...
  3. Template metaprogramming — Wikipedia Шаблонное метапрограммирование Основы шаблонного метапрограммирования Шаблонное метапрограммирование — это метод программирования, который позволяет создавать код во...
  4. Параметричность Параметричность Определение параметричности Параметричность — это свойство единообразия полиморфных функций.  Полиморфные функции действуют одинаково на всех...
  5. Система типов Система типов Основы типов данных Типы данных определяют допустимые значения и операции для переменных.  Типы данных...
  6. Язык визуального программирования Язык визуального программирования Обзор визуальных языков программирования Визуальные языки программирования облегчают разработку программного обеспечения, используя графические...
  7. Система F Система F Определение и применение системы F Система F — это лямбда-исчисление с типами, разработанное Хаскеллом...
  8. Класс (компьютерное программирование) Класс (компьютерное программирование) Определение класса Класс — это шаблон для создания объектов с общими свойствами и...
  9. Предел функции Предел функции Определение предела функции Предел функции f(x) при x стремящемся к p равен L, если...
  10. История языков программирования История языков программирования Обзор истории языков программирования Языки программирования эволюционировали от ассемблеров до высокоуровневых языков.  Первые...
  11. Подтипы Определение подтипа Подтипирование — это отношение между типами, при котором тип является подтипом другого типа.  Подтипирование...
  12. Переменная (информатика) Переменная (информатика) Определение переменной Переменная — это именованный контейнер для хранения данных.  Переменные могут быть объявлены...
  13. Бюджетное ограничение Бюджетные ограничения Определение и важность бюджетных ограничений Бюджетные ограничения — это ограничения на выбор товаров и...
  14. Шаблон посетителя Структура посетителей Обзор шаблона проектирования «Посетитель» Шаблон «Посетитель» позволяет отделить алгоритм от структуры данных, что упрощает...
  15. Типовой класс Тип класса Классы типов в Haskell являются механизмом для определения отношений между типами и ограничениями.  Они...

Оставьте комментарий

Прокрутить вверх