С++ 26-49

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

• комбинаторная логика Х. Каррим

• аксиоматический метод Ч. Хоара

• метод индуктивных утверждений Р. Флойда

• ламбда-исчисление А.Черча

Основными концепциями, характеризующими объектно-ориентированное программирование, являются

• <variant> наследование, инкапсуляция, понятие полиморфизма

• <variant>  наследование, инкапсуляция, понятие полиморфизма, метаданные

• <variant> семантика и синтаксис

• <variant> ламбда-исчисление, рекурсивные вычисления, комбинаторная логика

Возможность неявно определять тип выражения, исходя из типов выражений, которые его окружают

• Выводимость типов

• Инкапсуляция

• Полиморфная типизация

• Рекурсия

Содержат не сами объекты, а лишь ссылки на них, и могут принимать значение null.

• Ссылочные типы

• Типы значения

• Делегаты

• Перечисления

Содержат непосредственно объекты данных.

• Типы-значения

• Ссылочные значения

• Перечесления

• Типы

Указатели на функцию

• Делегаты

• Интерфейсы

• Массивы

• Ти

Перечисления, массивы, классы, интерфейсы и делегаты относятся к

• Определённые пользователем типы

• Предопределенные типы

• Ссылочные типы

• Типы значения

Эти преобразования инициируются программистом или пользователем приложения, а следовательно, требуют явного вызова и при этом могут завершаться ошибкой, а также приводить к потере точности

• Явные

• Неявные

• Ссылочные

• Простые

Они передаются компилятору в ходе трансляции программы на том или ином языке программирования под управлением среды Microsoft .NET по ссылке (при этом используется опция /r или /reference )

• Ссылки

• Делегаты

• Ссылочные типы

• Интерфейсы

• Типы

Что не является подтипом типов-значений

• Ссылочный

• Перечисляемый

• Структурный