Система типов — совокупность правил в языках программирования, назначающих свойства, именуемые типами, различным конструкциям, составляющим программу — таким как переменные, выражения, функции или модули. Основная роль системы типов заключается в уменьшении числа багов в программах посредством определения интерфейсов между различными частями программы и последующей проверки согласованности взаимодействия этих частей. Эта проверка может происходить статически или динамически, а также быть комбинацией обоих видов.
Объе́ктно-ориенти́рованное программи́рование (ООП) — методология программирования, основанная на представлении программы в виде совокупности объектов, каждый из которых является экземпляром определённого класса, а классы образуют иерархию наследования.
Полиморфизм в языках программирования и теории типов — способность функции обрабатывать данные разных типов.
Полиморфизм :
- Полиморфизм в биологии
- Полиморфизм насекомых
- Однонуклеотидный полиморфизм
- Полиморфизм уникального события
- Полиморфизм длин рестрикционных фрагментов
- Полиморфизм мицелл
- Полиморфизм компьютерных вирусов
- Полиморфизм в информатике
- Полиморфизм кристаллов — в физике, минералогии, химии существование кристаллических веществ с одинаковым составом, но разной структурой.
- Полиморфные существа — персонажи мифов, сказок, легенд, сочетающие в своём облике черты различных существ.
Полиморфи́зм криста́ллов — способность вещества существовать в различных кристаллических структурах, называемых полиморфными модификациями.
Полиморфи́зм в биологии — способность некоторых организмов существовать в состояниях с различной внутренней структурой или в разных внешних формах во время своего жизненного цикла.
Породообразующие минералы — минералы, входящие в качестве постоянных существенных компонентов в состав горных пород.
Нейтральная теория молекулярной эволюции — теория, утверждающая, что подавляющее число мутаций на молекулярном уровне носит нейтральный по отношению к естественному отбору характер. Как следствие, значительная часть внутривидовой изменчивости объясняется не действием отбора, а случайным дрейфом мутантных аллелей, которые нейтральны или почти нейтральны.
Обобщённое программирование — парадигма программирования, заключающаяся в таком описании данных и алгоритмов, которое можно применять к различным типам данных, не меняя само это описание. В том или ином виде поддерживается разными языками программирования. Возможности обобщённого программирования впервые появились в виде дженериков в 1970-х годах в языках Клу и Ада, затем — в виде параметрического полиморфизма в ML и его потомках, а затем — во многих объектно-ориентированных языках, таких как C++, Python, Java, Object Pascal, D, Eiffel, языках для платформы .NET и других.
Однонуклеотидный полиморфизм — отличия последовательности ДНК размером в один нуклеотид в геноме представителей одного вида или между гомологичными участками гомологичных хромосом. Применяется в качестве генетических ма́ркеров для изучения неравновесного сцепления локусов и полногеномного поиска ассоциаций.
Арагонит — минерал, один из естественных полиморфов карбоната кальция (CaCO3). Назван по области Арагон (араг. и исп. Aragón) в Испании.
Генетическое разнообразие, или генетический полиморфизм, — разнообразие популяций по признакам или маркерам генетической природы. Один из видов биоразнообразия.
Полиморфия (Polimorphie) — сочинение Кшиштофа Пендерецкого (1961) для 48 струнных инструментов.
Высший тип — тип, применяемый в ряде теорий типов и языков программирования, который содержит каждый возможный объект системы. Высший тип иногда именуется универсальным супертипом, то есть все остальные типы в любой отдельно взятой системе типов являются подтипами самого верхнего. Двойственное понятие — низший тип, не содержащий никаких возможных значений или подтипов.
Албаны — тюркское племя. Албаны входят в состав казахов, туркмен, каракалпаков, киргизов и узбеков.
Тип данных (тип) — множество значений и операций над этими значениями.
Параметрический полиморфизм в языках программирования и теории типов — свойство семантики системы типов, позволяющее обрабатывать значения разных типов идентичным образом, то есть исполнять физически один и тот же код для данных разных типов.
Переменная типа в языках программирования и теории типов — переменная, которая может принимать значение из множества типов данных.
Коныра́ты — казахское племя. Одно из шести племён, относящихся к Среднему жузу. Боевые кличи коныратов — «Алатау» и «Мукамал». Коныраты — потомки средневекового племени хонгират, из которого происходили мать и первая жена Чингисхана.
Найманы — одно из шести племён, составляющих Средний жуз казахского народа.