Главная / Программирование / Введение в теорию программирования. Функциональный подход / Тест 7

Введение в теорию программирования. Функциональный подход - тест 7

Упражнение 1:

Номер 1

В чем состоит основное назначение типизации?

Ответ:

(1) структуризация предметной области

(2) единообразие манипулирования объектами

(3) упрощение процесса компиляции

Номер 2

Какой из перечисленных языков программирования является бестиповым?

Ответ:

(1) LISP

(2) SML

(3) Mosml

Номер 3

Каковы основные компоненты чистой системы типов?

Ответ:

(1) сорта, аксиомы, функциональные пространства

(2) алфавит, сорта, аксиомы

(3) сорта, аксиомы, правила вывода

Упражнение 2:

Номер 1

Что является преимуществом типизации Microsoft .NET?

Ответ:

(1) унификация

(2) однозначное отображение типов языков программирования во внутренние типы системы

(3) большое количество типов

Номер 2

Что понимается под типом?

Ответ:

(1) совокупность элементов предметной области

(2) название предметной области

(3) модель предметной области

Номер 3

Что отличает теорию типов от прочих теорий?

Ответ:

(1) принцип индукции

(2) принцип полноты

(3) принцип иерархичности

Упражнение 3:

Номер 1

Что из перечисленного является этапом развития теории типов?

Ответ:

(1) полиморфизм

(2) теория простых функций

(3) теория вычислений

Номер 2

Каковы основные способы задания типа?

Ответ:

(1) явное перечисление элементов

(2) индивидуализирующая функция

(3) приписывание типа

Номер 3

Каким образом осуществляется построение типов?

Ответ:

(1) посредством рекурсии

(2) посредством дедукции

(3) посредством индукции

Упражнение 4:

Номер 1

Как осуществляется приписывание типа в теории типов?

Ответ:

(1) на основании выводимости типов

(2) на основании аксиом и правил вывода

(3) на основании непосредственной проверки

Номер 2

Какие типы SML относятся к базисным?

Ответ:

(1) int, string, bool

(2) int, string, ->

(3) int, bool, ->

Номер 3

Какой тип имеет функция из int в bool?

Ответ:

(1) int -> true

(2) bool -> int

(3) int -> bool

Упражнение 5:

Номер 1

На каком этапе определяются типы выражений в языке SML?

Ответ:

(1) до компиляции программы

(2) в ходе компиляции программы

(3) в ходе выполнения программы

Номер 2

Каковы характеристики типизации языка SML?

Ответ:

(1) сильная, динамическая, полиморфная

(2) сильная, статическая, полиморфная

(3) слабая, статическая, полиморфная

Номер 3

Какие объекты преимущественно обрабатывает полиморфная функция?

Ответ:

(1) объекты фиксированного типа

(2) объекты переменного типа

(3) объекты, не имеющие типа

Главная / Программирование / Введение в теорию программирования. Функциональный подход / Тест 7