Мы работаем над восстановлением приложения Unionpedia в Google Play Store
ИсходящиеВходящий
🌟Мы упростили наш дизайн для улучшения навигации!
Instagram Facebook X LinkedIn

Полиморфизм (информатика)

Индекс Полиморфизм (информатика)

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

Содержание

  1. 59 отношения: Ad hoc, APL (язык программирования), BCPL, C Sharp, C++, CLOS, D (язык программирования), Haskell, Java, MIT Press, ML, OCaml, Scheme, Smalltalk, SQL, Standard ML, Каламбур типизации, Клу, Ковариантность и контравариантность (программирование), Примесь (программирование), Предметно-ориентированный язык, Паскаль (язык программирования), Параметр (программирование), Параметрический полиморфизм, Полиморфизм (информатика), Перегрузка процедур и функций, Переменная типа, Объектно-ориентированное программирование, Ассоциация вычислительной техники, Абстракция (информатика), Алгол, Алгебраический тип данных, Наследование (программирование), Род (теория типов), Рефлексия (программирование), Страуструп, Бьёрн, Статическая типизация, Си (язык программирования), Система F, Система типов, Сильная и слабая типизация, Симула, Сокрытие (программирование), Тип данных, Типобезопасность, Тождественное отображение, Теория типов, Целое (тип данных), Число с плавающей запятой, Шаблоны C++, ... Развернуть индекс (9 больше) »

  2. Концепции языков программирования
  3. Обобщённое программирование
  4. Теория типов
  5. Типы данных
  6. Функциональное программирование

Ad hoc

Ad hoc — латинская фраза, означающая «специально для этого», «по особому случаю».

Посмотреть Полиморфизм (информатика) и Ad hoc

APL (язык программирования)

APL (назван по книге A Programming Language) — язык программирования, оптимизированный для работы с массивами, предшественник современных научных вычислительных сред, таких как MATLAB, использует функциональную парадигму программирования.

Посмотреть Полиморфизм (информатика) и APL (язык программирования)

BCPL

BCPL (Basic Combined Programming Language) — язык программирования, разработанный Мартином Ричардсом в 1966 году в Кембриджском университете.

Посмотреть Полиморфизм (информатика) и BCPL

C Sharp

C# (произносится си шарп) — объектно-ориентированный язык программирования.

Посмотреть Полиморфизм (информатика) и C Sharp

C++

++ (читается си-плюс-плюс) — компилируемый, статически типизированный язык программирования общего назначения.

Посмотреть Полиморфизм (информатика) и C++

CLOS

CLOS (Common Lisp Object System — «объектная система Common Lisp’а») — система объектно-ориентированного программирования, являющаяся частью Common Lisp — стандарта языка Лисп.

Посмотреть Полиморфизм (информатика) и CLOS

D (язык программирования)

D (Ди) — мультипарадигмальный компилируемый язык программирования, созданный Уолтером Брайтом из компании Digital Mars.

Посмотреть Полиморфизм (информатика) и D (язык программирования)

Haskell

Haskell — стандартизированный чистый функциональный язык программирования общего назначения.

Посмотреть Полиморфизм (информатика) и Haskell

Java

JavaПроизносится на английском как, в русском языке встречаются транслитерации «Джава» и «Ява», правообладатели торговой марки предпочитают первую транслитерацию.

Посмотреть Полиморфизм (информатика) и Java

MIT Press

MIT Press — издательство Массачусетского технологического института (MIT), расположенное в Кембридже (США, штат Массачусетс) и специализирующееся на выпуске изданий научного и технического профиля.

Посмотреть Полиморфизм (информатика) и MIT Press

ML

ML (Meta Language) — семейство строгих языков функционального программирования с развитой параметрически полиморфной системой типов и параметризуемыми модулями.

Посмотреть Полиморфизм (информатика) и ML

OCaml

OCaml (Objective Caml) — современный объектно-ориентированный язык функционального программирования общего назначения, который был разработан с учётом безопасности исполнения и надёжности программ.

Посмотреть Полиморфизм (информатика) и OCaml

Scheme

Scheme  — это функциональный язык программирования, один из трёх наиболее популярных в наши дни диалектов языка Лисп (другие популярные диалекты — это Common Lisp и Clojure).

Посмотреть Полиморфизм (информатика) и Scheme

Smalltalk

Smalltalk — объектно-ориентированный язык программирования с динамической типизацией, основанный на идее посылки сообщений, разработанный в Xerox PARC Аланом Кэйем, Дэном Ингаллсом, Тедом Кэглером, Адель Голдберг, и другими в 1970-х годах.

Посмотреть Полиморфизм (информатика) и Smalltalk

SQL

SQL (structured query language — «язык структурированных запросов») — декларативный язык программирования, применяемый для создания, модификации и управления данными в реляционной базе данных, управляемой соответствующей системой управления базами данных.

Посмотреть Полиморфизм (информатика) и SQL

Standard ML

 — компилируемый язык программирования общего назначения, основанный на системе типов Хиндли — Милнера.

Посмотреть Полиморфизм (информатика) и Standard ML

Каламбур типизации

Термин каламбур типизации (type punning) используется в информатике для обозначения различных техник нарушения или обмана системы типов некоторого языка программирования, имеющих эффект, который было бы затруднительно или невозможно обеспечить в рамках формального языка.

Посмотреть Полиморфизм (информатика) и Каламбур типизации

Клу

Клу (Clu, CLU) — объектно-ориентированный язык программирования, одним из первых реализовавший концепцию абстрактных типов данных и парадигму обобщённого программирования.

Посмотреть Полиморфизм (информатика) и Клу

Ковариантность и контравариантность (программирование)

Ковариа́нтность и контравариа́нтность в программировании — способы переноса наследования типов на производные от них типы — контейнеры, обобщённые типы, делегаты и т. п.

Посмотреть Полиморфизм (информатика) и Ковариантность и контравариантность (программирование)

Примесь (программирование)

При́месь (mix in) — элемент языка программирования (обычно класс или модуль), реализующий какое-либо чётко выделенное поведение.

Посмотреть Полиморфизм (информатика) и Примесь (программирование)

Предметно-ориентированный язык

Предметно-ориентированный язык (domain-specific language, DSL — «язык, специфический для предметной области») —, специализированный для конкретной области применения (в противоположность, применимому к широкому спектру областей и не учитывающему особенности конкретных сфер знаний).

Посмотреть Полиморфизм (информатика) и Предметно-ориентированный язык

Паскаль (язык программирования)

Паска́ль (Pascal) — один из наиболее известных языков программирования, используется для обучения программированию в старших классах и на первых курсах вузов, является базой для ряда других языков.

Посмотреть Полиморфизм (информатика) и Паскаль (язык программирования)

Параметр (программирование)

Пара́метр в программировании — принятый функцией аргумент.

Посмотреть Полиморфизм (информатика) и Параметр (программирование)

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

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

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

Полиморфизм (информатика)

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

Посмотреть Полиморфизм (информатика) и Полиморфизм (информатика)

Перегрузка процедур и функций

Перегрузка процедур и функций — возможность использования одноимённых подпрограмм: процедур или функций в языках программирования.

Посмотреть Полиморфизм (информатика) и Перегрузка процедур и функций

Переменная типа

В языках программирования и теории типов, переменная типа или ти́повая переменная (type variable) — математическая переменная, которая может принимать значение из множества типов данных.

Посмотреть Полиморфизм (информатика) и Переменная типа

Объектно-ориентированное программирование

Объе́ктно-ориенти́рованное программи́рование (ООП) — методология программирования, основанная на представлении программы в виде совокупности объектов, каждый из которых является экземпляром определённого класса, а классы образуют иерархию наследования.

Посмотреть Полиморфизм (информатика) и Объектно-ориентированное программирование

Ассоциация вычислительной техники

Ассоциация вычислительной техники (Association for Computing Machinery, ACM) — старейшая и наиболее крупная международная организация в компьютерной области.

Посмотреть Полиморфизм (информатика) и Ассоциация вычислительной техники

Абстракция (информатика)

Абстракция в информатике представляет собой технику управления сложностью систем.

Посмотреть Полиморфизм (информатика) и Абстракция (информатика)

Алгол

Алго́л (Algol от algorithmic — алгоритмический и language — язык) — название ряда языков программирования, применяемых при составлении программ для решения научно-технических задач на ЭВМ.

Посмотреть Полиморфизм (информатика) и Алгол

Алгебраический тип данных

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

Посмотреть Полиморфизм (информатика) и Алгебраический тип данных

Наследование (программирование)

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

Посмотреть Полиморфизм (информатика) и Наследование (программирование)

Род (теория типов)

Род в теории типов (kind) — тип конструктора типов, или более формально, тип ти́пового оператора высшего порядка.

Посмотреть Полиморфизм (информатика) и Род (теория типов)

Рефлексия (программирование)

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

Посмотреть Полиморфизм (информатика) и Рефлексия (программирование)

Страуструп, Бьёрн

Бьёрн Страуструп (Bjarne Stroustrup, род. (Орхус, Дания) — программист, автор языка программирования C++.

Посмотреть Полиморфизм (информатика) и Страуструп, Бьёрн

Статическая типизация

Стати́ческая типиза́ция — приём, широко используемый в языках программирования, при котором переменная, параметр подпрограммы, возвращаемое значение функции связывается с типом в момент объявления и тип не может быть изменён позже (переменная или параметр будут принимать, а функция — возвращать значения только этого типа).

Посмотреть Полиморфизм (информатика) и Статическая типизация

Си (язык программирования)

Си (C) — компилируемый статически типизированный язык программирования общего назначения, разработанный в 1969—1973 годах сотрудником Bell Labs Деннисом Ритчи как развитие языка Би.

Посмотреть Полиморфизм (информатика) и Си (язык программирования)

Система F

Система F (полиморфное лямбда-исчисление, система \lambda2, типизированное лямбда-исчисление второго порядка) — система типизированного лямбда-исчисления, отличающаяся от просто типизированной системы наличием механизма универсальной квантификации над типами.

Посмотреть Полиморфизм (информатика) и Система F

Система типов

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

Посмотреть Полиморфизм (информатика) и Система типов

Сильная и слабая типизация

По одной из классификаций, языки программирования неформально делятся на сильно и слабо типизированные (strongly and weakly typed), обладающие сильной или слабой системой типов.

Посмотреть Полиморфизм (информатика) и Сильная и слабая типизация

Симула

Си́мула-67 (Simula 67) — язык программирования общего назначения, разработанный в конце 60-х сотрудниками Норвежского Вычислительного Центра (Осло) Кристеном Нюгором и Оле-Йоханом Далем для моделирования сложных систем.

Посмотреть Полиморфизм (информатика) и Симула

Сокрытие (программирование)

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

Посмотреть Полиморфизм (информатика) и Сокрытие (программирование)

Тип данных

Тип данных (тип) — множество значений и операций на этих значениях (IEEE Std 1320.2-1998).

Посмотреть Полиморфизм (информатика) и Тип данных

Типобезопасность

В информатике типобезопасность (type safety) языка программирования означает безопасность (или надёжность) его системы типов.

Посмотреть Полиморфизм (информатика) и Типобезопасность

Тождественное отображение

Тожде́ственное отображе́ние в математике — отображение, переводящее аргумент в себя.

Посмотреть Полиморфизм (информатика) и Тождественное отображение

Теория типов

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

Посмотреть Полиморфизм (информатика) и Теория типов

Целое (тип данных)

Целое, целочисленный тип данных (Integer), в информатике — один из простейших и самых распространённых типов данных в языках программирования.

Посмотреть Полиморфизм (информатика) и Целое (тип данных)

Число с плавающей запятой

Число с плавающей запятой (или число с плавающей точкой) — форма представления вещественных (действительных) чисел, в которой число хранится в форме мантиссы и показателя степени.

Посмотреть Полиморфизм (информатика) и Число с плавающей запятой

Шаблоны C++

Шабло́ны (template) — средство языка C++, предназначенное для кодирования обобщённых алгоритмов, без привязки к некоторым параметрам (например, типам данных, размерам буферов, значениям по умолчанию).

Посмотреть Полиморфизм (информатика) и Шаблоны C++

Идентификатор

Идентифика́тор, ID (data name, identifier — опознаватель) — уникальный признак объекта, позволяющий отличать его от других объектов, т.е. идентифицировать.

Посмотреть Полиморфизм (информатика) и Идентификатор

Инкапсуляция (программирование)

Инкапсуляция (encapsulation, от in capsula) — в информатике упаковка данных и функций в единый компонент.

Посмотреть Полиморфизм (информатика) и Инкапсуляция (программирование)

Высший тип

Высший тип (top type) в теории типов, часто обозначаемый как просто вершина или «закрепленным» символом (⊤), — универсальный тип, то есть такой тип, который содержит в себе каждый возможный объект в нужной системе типов.

Посмотреть Полиморфизм (информатика) и Высший тип

Вывод типов

Вывод типов (type inference) — в программировании возможность компилятора самому логически вывести тип значения у выражения.

Посмотреть Полиморфизм (информатика) и Вывод типов

Ветвление (программирование)

Опера́тор ветвле́ния (усло́вная инстру́кция, усло́вный опера́тор) — оператор, конструкция языка программирования, обеспечивающая выполнение определённой команды (набора команд) только при условии истинности некоторого логического выражения, либо выполнение одной из нескольких команд (наборов команд) в зависимости от значения некоторого выражения.

Посмотреть Полиморфизм (информатика) и Ветвление (программирование)

Лисп

Массачусетского технологического института. Лисп (LISP, от LISt Processing language — «язык обработки списков»; современное написание: Lisp) — семейство языков программирования, программы и данные в которых представляются системами линейных списков символов.

Посмотреть Полиморфизм (информатика) и Лисп

1971 год

* Международный год ООН по борьбе с расизмом и расовой дискриминацией.

Посмотреть Полиморфизм (информатика) и 1971 год

1985 год

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

Посмотреть Полиморфизм (информатика) и 1985 год

1987 год

Объявлен ООН Международным годом обеспечения жильём бездомного населения.

Посмотреть Полиморфизм (информатика) и 1987 год

См. также

Концепции языков программирования

Обобщённое программирование

Теория типов

Типы данных

Функциональное программирование

Также известен как Ad hoc полиморфизм, Класс типов, Полиморфизм (программирование), Полиморфизм подтипов.

, Идентификатор, Инкапсуляция (программирование), Высший тип, Вывод типов, Ветвление (программирование), Лисп, 1971 год, 1985 год, 1987 год.