Содержание
13 отношения: OCaml, Rust (язык программирования), Standard ML, Конструктор типов, Полиморфизм (информатика), Объектно-ориентированное программирование, Обобщённое программирование, Род (теория типов), Тип данных, Функциональный тип, Зависимый тип, Вывод типов, Естественное преобразование.
OCaml
OCaml (Objective Caml) — современный объектно-ориентированный язык функционального программирования общего назначения, который был разработан с учётом безопасности исполнения и надёжности программ.
Посмотреть Параметрический полиморфизм и OCaml
Rust (язык программирования)
Rust (rust — ржавчина, произносится — раст) — мультипарадигмальный компилируемый язык программирования общего назначения, спонсируемый Mozilla Research, сочетающий парадигмы функционального и процедурного программирования с объектной системой, основанной на типажах, и с управлением памятью через понятие «владения» (систему, позволяющую обходиться без сборки мусора).
Посмотреть Параметрический полиморфизм и Rust (язык программирования)
Standard ML
— компилируемый язык программирования общего назначения, основанный на системе типов Хиндли — Милнера.
Посмотреть Параметрический полиморфизм и Standard ML
Конструктор типов
В теории типов, конструктор типов представляет собой конструкцию полиморфно типизируемого формального языка, которая строит новые типы из старых.
Посмотреть Параметрический полиморфизм и Конструктор типов
Полиморфизм (информатика)
В языках программирования и теории типов полиморфизмом называется способность функции обрабатывать данные разных типов.
Посмотреть Параметрический полиморфизм и Полиморфизм (информатика)
Объектно-ориентированное программирование
Объе́ктно-ориенти́рованное программи́рование (ООП) — методология программирования, основанная на представлении программы в виде совокупности объектов, каждый из которых является экземпляром определённого класса, а классы образуют иерархию наследования.
Посмотреть Параметрический полиморфизм и Объектно-ориентированное программирование
Обобщённое программирование
Обобщённое программирование (generic programming) — парадигма программирования, заключающаяся в таком описании данных и алгоритмов, которое можно применять к различным типам данных, не меняя само это описание.
Посмотреть Параметрический полиморфизм и Обобщённое программирование
Род (теория типов)
Род в теории типов (kind) — тип конструктора типов, или более формально, тип ти́пового оператора высшего порядка.
Посмотреть Параметрический полиморфизм и Род (теория типов)
Тип данных
Тип данных (тип) — множество значений и операций на этих значениях (IEEE Std 1320.2-1998).
Посмотреть Параметрический полиморфизм и Тип данных
Функциональный тип
Функциональный тип (стрелочный тип, экспоненциал) в информатике — тип переменной или параметра, значением которой или которого может быть функция; либо тип аргумента или возвращаемого значения функции высшего порядка, принимающей или возвращающей функцию.
Посмотреть Параметрический полиморфизм и Функциональный тип
Зависимый тип
Зависимый тип в информатике и логике — тип, который зависит от некоторого значения.
Посмотреть Параметрический полиморфизм и Зависимый тип
Вывод типов
Вывод типов (type inference) — в программировании возможность компилятора самому логически вывести тип значения у выражения.
Посмотреть Параметрический полиморфизм и Вывод типов
Естественное преобразование
В теории категорий есте́ственное преобразова́ние предоставляет способ перевести один функтор в другой, сохраняя внутреннюю структуру (например, композиции морфизмов).
Посмотреть Параметрический полиморфизм и Естественное преобразование
Также известен как Higher-kinded polymorphism, Record calculi, Record polymorphism, Рядный полиморфизм, Параметрический полиморфизм в Си и С++, Полиморфизм в высших родах, Полиморфизм высших родов, Полиморфизм записей, Полиморфизм первого класса, Полиморфизм типов, Полиморфные варианты, Исчисление записей.