Функциональное программирование – Росдистант ответы на тесты — часть 1

• Функциональное программирование
• Тема 8. Монады. Понятие монада. Использование монад. Do-нотация. Встроенные монады. Монада типу Maybe. Монады состояний. Операции ввода-вывода
• Промежуточный тест

Что означает правило α-конверсии?

Переименование переменных

Замена переменных

Замена функций переменными

Замена значений переменными

 

Что из перечисленного является примером рекурсивной функции?

Факториал числа

Сумма чисел

Умножение чисел

Ни одно из перечисленных

 

В чем заключается разница между аппликативным и нормативным порядком вычисления в лямбда-исчислении?

Аппликативный порядок вычисляет значения функций, а нормативный — строит дерево разбора

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

Аппликативный порядок строит дерево разбора, а нормативный вычисляет значения аргументов

Аппликативный порядок вычисляет значение функции, а нормативный строит результирующее дерево

 

Что такое каррирование в функциональных языках программирования?

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

Процесс преобразования набора функций в одну функцию

Процесс, при котором функции могут быть переданы как аргументы другим функциям

Нет верного ответа

 

Как происходит типизация в типизации Черча?:

Типизация происходит на основе типов аргументов функции.

Типизация выполняется путем замены переменных на значения.

Типизация осуществляется с помощью преобразования типов в другие типы

Типизация производится путем проверки корректности использования типов.

 

Что такое ленивые списки в контексте функционального программирования?

Списки, которые вычисляются по мере необходимости

Списки с возможностью бесконечного добавления элементов

Списки с оптимизацией памяти

Списки с функциями для работы с данными

 

Можно ли сравнивать лямбда-термы с разными типами аргументов?

Да, если они возвращают одинаковый результат.

Да, всегда

Нет, так как они имеют разные типы аргументов.

Да, только если они используют одинковые переменные.

 

В функциональном программировании данные определяются с помощью

переменных

функций

состояний

абстракций

 

Что такое “каррирование” в контексте функционального программирования?

Процесс разделения функции на несколько функций с меньшим количеством аргументов

Процесс объединения нескольких функций в одну функцию

Процесс создания функции, которая принимает произвольное количество аргументов

Процесс передачи функции в качестве аргумента другой функции.

 

Что делает функция “primes” в Haskell:

находит все простые числа до заданного числа

находит наименьшее простое число, которое делит заданное число

находит произведение всех простых чисел до заданного числа

находит сумму всех простых чисел до заданного числа

 

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

Функции высших порядков

Генераторы списков

Запись типов данных

Модульное тестирование

 

Каким типом выражения является функция main в Haskell программе?

Функциональное выражение

Атомарное выражение

Бинарное выражение

Выражение сопоставления с образцом

 

В чем преимущество использования кортежей по сравнению с списками в функциональном программировании:

Их проще создавать

Их элементы нельзя изменить.

Их можно использовать для возврата нескольких значений из функции

Они занимают меньше памяти.

 

Какое значение получит переменная x после выполнения кода let x=(y->y+2)3?

3

2

5

6

 

Что такое лямбда-исчисление?

Это язык программирования

Это формальная система

Это математическая теория

Это метод решения задач

 

Что из этого не относится к основным принципам функционального программирования

отсутствие побочных эффектов

чистота функций

использование структур данных вместо классов

параллелизм и недетерминизм

 

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

Они позволяют создавать более сложные программы

Они упрощают процесс разработки

Они улучшают читаемость кода

Они ускоряют выполнение программы

 

Что такое мемоизация в контексте функционального программирования с отложенными вычислениями?

Сохранение промежуточных результатов для уменьшения времени выполнения

Повторное использование результатов вычислений

Оптимизация использования памяти

Применение рекурсивных вычислений

 

В каком из базовых типов в функциональном программировании можно хранить только одно значение?

Числа

Строки

Логические значения

Функции

 

Что означает “редукция задачи” в контексте функционального программирования?

Разделение задачи на более мелкие подзадачи

Упрощение задачи путем удаления избыточных данных

Замена сложной функции более простой

Преобразование задачи в форму, удобную для решения

 

• Функциональное программирование
• Контрольные мероприятия
• Итоговый тест

 

Парадокс Рассела относится к…

логическим парадоксам

математическим парадоксам

парадоксам программирования

парадоксам физики

 

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

функций

состояний

переменных

операторов

 

Что такое каррирование в лямбда-исчислении?

 

• Каррирование — это процесс преобразования функции с несколькими аргументами в набор функций с одним аргументом.
• Каррирование — это метод определения типа функции.
• Каррирование — это способ представления функций в виде набора операторов.
• Каррирование — это механизм оптимизации кода в лямбда-исчислении.

 

Может ли метод класса в функциональном программировании иметь побочные эффекты?

Нет, так как методы должны быть чистыми функциями

Да, поскольку функциональное программирование позволяет наличие побочных эффектов

Нет, побочные эффекты не допускаются в функциональном программировании

Да, однако это может привести к снижению производительности

 

Монады в контексте ленивых вычислений позволяют:

объединять различные операции в одну;

использовать рекурсию для определения вложенных вычислений;

применять циклы для выполнения операций;

использовать переменные для определения порядка вычисления.

 

Пары в функциональном программировании используются для

Представления двух значений в одном объекте

Организации данных

Упрощения кода

Ничего из перечисленного.

 

Что такое базовая рекурсия?

 

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

 

Какой тип данных не относится к лямбда-исчислению?

Числа

Строки.

Функции

Логические значения

 

Как записываются функции в функциональном программировании?

Функции записываются в виде процедур или методов

Функции записываются с использованием операторов присваивания и циклов

Функции записываются как выражения, которые вычисляют результат на основе входных данных.

Функции записываются с помощью операторов if-else и switch.

 

Каков будет результат выполнения функции “isPrime” для числа 2:

true

false

0

1

 

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

циклы

условные операторы

рекурсию

все перечисленное

 

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

 

• Option, Either, List
• Option, Either, Tuple
• Option, Result, List
• Option, Either, Map

 

Что такое выражение сопоставления с образцом в Haskell?

Специальный тип функционального выражения

Специальный синтаксис для обработки ошибок

Специальный вид атомарных выражений

Специальный вид условных выражений

 

Что происходит, если пытаемся извлечь значение из пустой монады?

Мы получаем исключение

Мы получаем пустое значение

Мы получаем другую монаду

Мы получаем другое значение

 

Какой язык программирования поддерживает синтаксический сахар для функциональных языков программирования?

Python

Java

JavaScript

Haskell

 

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

Числа

Строки

Логические значения

Функторы

 

Что такое θ-теорема в лямбда-исчислении?

 

• Теорема о равенстве функций
• Теорема об эквивалентности типов
• Теорема о свойствах функций
• Теорема о приведении типов

 

Что такое иммутабельность в функциональном программировании?

Изменяемость данных при выполнении программы.

Сохранение данных после выполнения функции

Неизменность данных при работе программы.

Изменение порядка выполнения функций

 

Что делает функция maybe?

Проверяет, является ли значение возможным

Возвращает значение, если монада не пуста, иначе — альтернативное значение.

Возвращает альтернативное значение, если монада пустая.

Возвращает монаду, если она не пустая, иначе — значение

 

Что не относится к композиции функций?

Объединение двух функций.

Разбиение функции на составные части.

Передача аргументов функции другим

Замена аргументов

 

Что выполняет комбинатор-фильтрация?

выбирает элементы списка, удовлетворяющие определенному условию

сортирует элементы списка по возрастанию

меняет порядок элементов в списке

дублирует элементы списка

 

В чём особенность функции Just?

Она создаёт объекты-значения в монаде

Она проверяет наличие значений в монаде

Она извлекает значения из монады

Она заменяет значения на другие в монаде

 

Какой тип функций не может быть представлен в лямбда-исчислении?

Примитивные функции.

Функции высших порядков

Комбинаторные функции

Любые виды функций.

 

В чем преимущество использования рекурсивных функций?

Они проще для понимания

Они требуют меньше памяти

Они могут быть более эффективными

Все перечисленное

 

Какие операции можно записать с использованием do-нотации?

Операторы сравнения.

Операторы ветвления.

Циклы.

Все перечисленные.

 

Что является основным объектом изучения в лямбда-исчислении?

Операторы

Функции

Переменные

Значения

 

Что такое чистые функции?

Функции, которые выполняют только одну операцию и не имеют побочных эффектов

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

Функции, в которых результат зависит от изменяемого состояния или внешних факторов

Функции, использующие только императивные конструкции

 

Что такое полиморфизм в функциональном программировании?

 

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

 

Какое из следующих утверждений является примером атомарного выражения в Haskell

(3+4)*5

if a > b then c else d

let x = 3 in x^2

a + b

Что такое функция в функциональном программировании?

это блок кода, который выполняет определенные действия над входными данными.

это объект, который может принимать входные данные и возвращать выходные данные.

это правило, которое преобразует один набор данных в другой набор данных.

это последовательность команд, которые выполняются для достижения определенной цели.

 

Что такое альфа-конверсия?

 

• Альфа-конверсия — это преобразование функции в другую форму.
• Альфа-конверсия — это изменение типа функции.
• Альфа-конверсия — это преобразование данных в другой тип.
• Альфа-конверсия — это замена переменных в функции.

 

Какое решение для устранения парадокса Рассела предлагает теория типов?

Введение понятия типизации

Ограничения на использование кванторов

Разработка новых методов доказательства

Введение новых аксиом

 

Как выглядит пример использования именованного выражения в коде?

(5+5)

(n->n+1)4

(x->x+1)

(let x=5 in x)

 

Что такое каррирование в лямбда-исчислении?

Преобразование функции многих аргументов в функцию одного аргумента

Разделение функции на несколько функций с меньшим числом аргументов

Процесс преобразования функции в множество более простых функций

Объединение нескольких функций в одну

 

Что произойдет, если не использовать механизм стека для рекурсивных вызовов?

Программа завершится с ошибкой

Программа будет работать бесконечно

Программа будет использовать много памяти

Программа будет медленнее работать

 

Что делает функция and в функциональном программировании?

Возвращает первый истинный аргумент.

Возвращает последний ложный аргумент.

Вернет истину, только если оба аргумента истинны

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

 

Какой из следующих языков программирования поддерживает полиморфизм на уровне системы типов?

Python

Java

ML

Haskell

 

Какая из следующих функций является функцией монады?

List.foldLeft

List.filter

List.length

List.reduceRight

 

Что такое частичная специализация шаблонов в функциональном программировании?

Специализация посредством частичных функций

Специализация шаблонов посредством частичных функций.

Специализация шаблонов исходя из их входных и выходных данных

Специализация шаблонов через создание новых функций.

 

В чем заключается принцип функциональной декомпозиции в функциональном программировании?

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

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

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

В разделении задачи на более мелкие подзадачи и решении их с помощью