Содержание
9 отношения: Java, OCaml, Приведение типа, Принцип подстановки Барбары Лисков, Полиморфизм (информатика), Объектно-ориентированное программирование, Язык программирования, Высший тип, Динамическая идентификация типа данных.
Java
JavaПроизносится на английском как, в русском языке встречаются транслитерации «Джава» и «Ява», правообладатели торговой марки предпочитают первую транслитерацию.
Посмотреть Понижающее приведение и Java
OCaml
OCaml (Objective Caml) — современный объектно-ориентированный язык функционального программирования общего назначения, который был разработан с учётом безопасности исполнения и надёжности программ.
Посмотреть Понижающее приведение и OCaml
Приведение типа
Приведе́ние (преобразование) ти́па (type conversion, typecasting, coercion) — в информатике преобразование значения одного типа в значение другого типа.
Посмотреть Понижающее приведение и Приведение типа
Принцип подстановки Барбары Лисков
Принцип подстановки Барбары Лисков (Liskov Substitution Principle, LSP) в объектно-ориентированном программировании является специфичным определением подтипа, предложенным Барбарой Лисков в 1987 году на конференции в основном докладе под названием Абстракция данных и иерархия.
Посмотреть Понижающее приведение и Принцип подстановки Барбары Лисков
Полиморфизм (информатика)
В языках программирования и теории типов полиморфизмом называется способность функции обрабатывать данные разных типов.
Посмотреть Понижающее приведение и Полиморфизм (информатика)
Объектно-ориентированное программирование
Объе́ктно-ориенти́рованное программи́рование (ООП) — методология программирования, основанная на представлении программы в виде совокупности объектов, каждый из которых является экземпляром определённого класса, а классы образуют иерархию наследования.
Посмотреть Понижающее приведение и Объектно-ориентированное программирование
Язык программирования
Язык программи́рования — формальный язык, предназначенный для записи компьютерных программISO/IEC/IEEE 24765:2010 Systems and software engineering — VocabularyISO/IEC 2382-1:1993, Information technology — Vocabulary — Part 1: Fundamental terms.
Посмотреть Понижающее приведение и Язык программирования
Высший тип
Высший тип (top type) в теории типов, часто обозначаемый как просто вершина или «закрепленным» символом (⊤), — универсальный тип, то есть такой тип, который содержит в себе каждый возможный объект в нужной системе типов.
Посмотреть Понижающее приведение и Высший тип
Динамическая идентификация типа данных
Динамическая идентификация типа данных (run-time type information, run-time type identification, RTTI) — механизм в некоторых языках программирования, который позволяет определить тип данных переменной или объекта во время выполнения программы.
Посмотреть Понижающее приведение и Динамическая идентификация типа данных