Ответы на ИНТУИТ

ИНТУИТ ответы на тесты

Решение тестов / курсов
База ответов ИНТУИТ.RU
Заказать решение курсов или тестов:
https://vk.com/id358194635
https://vk.com/public118569203

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

Заказать решение
Количество вопросов 136

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

перейти к ответу ->>

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

перейти к ответу ->>

Какие ошибки содержаться в приведенном фрагменте кода?
1 let ProcessImageAsync () =2   async { let inStream  = File.OpenRead(sprintf "Image%d.tmp" i)3     let pixels    = inStream.ReadAsync(numPixels)4     let  pixels'   = TransformImage(pixels,i)5     let  outStream = File.OpenWrite(sprintf "Image%d.done" i)6     do  outStream.WriteAsync(pixels') }

перейти к ответу ->>

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

перейти к ответу ->>

Какой список будет порожден конструкцией [1..2..10]?

перейти к ответу ->>

Какой тип имеет функция apply в Eval/Apply-интерпретаторе?

перейти к ответу ->>

При вычислении длины списка n с помощью хвостовой рекурсии, сколько памяти выделяется в стеке?

перейти к ответу ->>

Что означает запись <@ fun x→​ x*2 @>?

перейти к ответу ->>

В чем разница между конструкциями fun и function в F#?

перейти к ответу ->>

При нормальном порядке редукции:

перейти к ответу ->>

Какие из преобразований надо применить, чтобы редуцировать (λx.sin x) 0 →​ 0?

перейти к ответу ->>

Возможно ли в F# использовать ленивые вычисления?

перейти к ответу ->>

Какое множество значений у прямой суммы T1+T2?

перейти к ответу ->>

Как можно свести нелинейно-рекурсивную функцию к хвостовой рекурсии?

перейти к ответу ->>

Неразрешимость проблемы остановки означает:

перейти к ответу ->>

Какие комбинаторы образуют наименьший базис?

перейти к ответу ->>

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

перейти к ответу ->>

Что помещается в стек возвратов D SECD-машины?

перейти к ответу ->>

Какой тип имеет функция map?

перейти к ответу ->>

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

перейти к ответу ->>

Как правильно описать дерево общего вида на F#?

перейти к ответу ->>

Какой будет результат выполнения let x::y = [1;2;3;4] ?

перейти к ответу ->>

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

перейти к ответу ->>

Какой порядок редукции соответствует передаче параметров по значению?

перейти к ответу ->>

Укажите правильное монадическое свойство:

перейти к ответу ->>

В каком порядка обходятся поддеревья в инфиксном порядке обхода?

перейти к ответу ->>

Почему контестно-свободная грамматика удобна для разбора методом рекурсивного спуска?

перейти к ответу ->>

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

перейти к ответу ->>

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

перейти к ответу ->>

Какого типа выражение async { return 10; }?

перейти к ответу ->>

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

перейти к ответу ->>

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

перейти к ответу ->>

Какие недостатки "классической" нотации для определения функции f(x)=2*x+1?

перейти к ответу ->>

Пусть mul3 – каррированная функция умножения трех целых чисел, mul3 = xyz.x*y*z. Какой будет тип у выражения (mul3 5)?

перейти к ответу ->>

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

перейти к ответу ->>

Какая функция может быть использована для удаления из списка всех элементов, делящихся на 3?

перейти к ответу ->>

Какой тип имеет функция fold_left?

перейти к ответу ->>

Какими способами можно создать список четных чисел от 1 до 10?

перейти к ответу ->>

В каком представлении матриц проще реализовать операцию транспонирования?

перейти к ответу ->>

Какова сложность добавления элемента в конец списка длины n?

перейти к ответу ->>

В каком порядка обходятся поддеревья в постфиксном порядке обхода?

перейти к ответу ->>

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

перейти к ответу ->>

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

перейти к ответу ->>

Какая операция применяет функцию к аргументу?

перейти к ответу ->>

Как расставляются скобки в выражении λx.λy.e1e2?

перейти к ответу ->>

Какой самый внешний редекс в выражении (λx.λy.y) ((λz.z z) (λz.z z))?

перейти к ответу ->>

Какой будет следующий шаг при аппликативном порядке редукции выражения (λx.x+x)(2+3)?

перейти к ответу ->>

Что является следствием теоремы стандартизации?

перейти к ответу ->>

Как определяется конструкция letrec?

перейти к ответу ->>

Что такое замыкание?

перейти к ответу ->>

Что такое мемоизация?

перейти к ответу ->>

При статическом контроле типов:

перейти к ответу ->>

Как определяется множество значений для типа, описанного как type tree = {nil} + int X treeX tree?

перейти к ответу ->>

Что необходимо сделать для вывода типов в некотором выражении?

перейти к ответу ->>

Что такое операционная семантика языка программирования?

перейти к ответу ->>

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

перейти к ответу ->>

Что помещается в стек объектов S SECD-машины?

перейти к ответу ->>

Программа, порожденная генератором fsyacc:

перейти к ответу ->>

В чем разница между записями <@ fun x→​ x*2 @> и <@@ fun x→​x*2 @@>?

перейти к ответу ->>

Что такое монада?

перейти к ответу ->>

Чему равен результат выражения nondet { return 10; } для монады недетерминированных вычислений?

перейти к ответу ->>

Сколько потоков выполнения операционной системы будет порождаться при выполнении операции Async.RunSynchronously(Async.Parallel([ for i in 1..100 →​ async { return fib(i) }]))?

перейти к ответу ->>

Как определяется конструкция let?

перейти к ответу ->>

Укажите правильное монадическое свойство:

перейти к ответу ->>

Какого типа выражение <@@ (1+2)*3 @@>?

перейти к ответу ->>

Какой будет наиболее общий тип для функции tl: let tl x::t = t?

перейти к ответу ->>

Что такое каррирование?

перейти к ответу ->>

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

перейти к ответу ->>

Почему следует стараться использовать хвостовую рекурсию?

перейти к ответу ->>

При введении списков, как определяется функция отделения первого элемента hd?

перейти к ответу ->>

Какие стеки включает в себя SECD-машина?

перейти к ответу ->>

Что такое дерево поиска?

перейти к ответу ->>

Какой функции эквивалентна запись [ for x in L →​ x*2 ]?

перейти к ответу ->>

В динамических языках программирования:

перейти к ответу ->>

Пусть L – генератор последовательности длины n. Какова сложность операции map f L?

перейти к ответу ->>

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

перейти к ответу ->>

Какое множество значений у типа T1 →​ Т2?

перейти к ответу ->>

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

перейти к ответу ->>

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

перейти к ответу ->>

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

перейти к ответу ->>

Какие есть основные модели вычислений?

перейти к ответу ->>

Система вывода типов (Хиндли-Милнера) – это:

перейти к ответу ->>

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

перейти к ответу ->>

Как можно отделить голову и хвост списка?

перейти к ответу ->>

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

перейти к ответу ->>

Как правильно расставить скобки в выражении лямбда-исчисления, чтобы вычислить f(g(x))?

перейти к ответу ->>

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

перейти к ответу ->>

Какая функция, определенная на домене D, обязательно имеет неподвижную точку?

перейти к ответу ->>

Как правильно параллельно вычислить сумму 100-го и 200-го чисел Фибоначчи?

перейти к ответу ->>

Пусть геометрическое преобразование определяется функцией трансляции координат int*int →​ int*int. Мы хотим определить функцию сдвига translate : int*int, которая возвращался бы замыкание. Как это сделать?

перейти к ответу ->>

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

перейти к ответу ->>

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

перейти к ответу ->>

В чем разница между конструкциями fun и function в F#?

перейти к ответу ->>

C помощью какой функции можно эффективно посчитать сумму элементов целочисленного списка?

перейти к ответу ->>

Разреженная матрица размерности nXn с m ненулевыми элементами представляется в виде функции int*int →​ float. Какова будет сложность операции умножения всех элементов матрицы на 2?

перейти к ответу ->>

Как связаны двоичные деревья и деревья общего вида?

перейти к ответу ->>

В каком порядка обходятся поддеревья в префиксном порядке обхода?

перейти к ответу ->>

Какая операция понижает порядок функции?

перейти к ответу ->>

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

перейти к ответу ->>

Какой самый внутренний редекс в выражении (λx.λy.y) ((λz.z z) (λz.z z))?

перейти к ответу ->>

При аппликативном порядке редукции:

перейти к ответу ->>

Что является следствием теоремы Черча-Россера?

перейти к ответу ->>

Можно ли в F# изменять контекст вычисления функции внутри замыкания?

перейти к ответу ->>

Зачем в F# необходимо статически ассоциировать типы с именами?

перейти к ответу ->>

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

перейти к ответу ->>

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

перейти к ответу ->>

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

перейти к ответу ->>

Какой тип имеет функция eval в Eval/Apply-интерпретаторе?

перейти к ответу ->>

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

перейти к ответу ->>

Как описываются рекурсивные функции в F#?

перейти к ответу ->>

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

перейти к ответу ->>

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

перейти к ответу ->>

В чем разница между записями <@ fun x→​ x*2 @> и fun x→​ <@ x*2 @>?

перейти к ответу ->>

Где может использоваться сопоставление с образцом в F#?

перейти к ответу ->>

Что такое продолжение (continuation)?

перейти к ответу ->>

Что такое домены?

перейти к ответу ->>

Как представляется число n в виде нумерала Черча?

перейти к ответу ->>

Какой будет следующий шаг при нормальном порядке редукции выражения (λx.x+x)(2+3)?

перейти к ответу ->>

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

перейти к ответу ->>

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

перейти к ответу ->>

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

перейти к ответу ->>

Какие основные операции в чистом λ-исчислении?

перейти к ответу ->>

Какой тип имеет функция filter?

перейти к ответу ->>

Как расставляются скобки в выражении f sin x*2?

перейти к ответу ->>

Для реализации ленивого Eval/Apply-интерпретатора необходимо, в частности:

перейти к ответу ->>

Какова сложность поиска в дереве поиска?

перейти к ответу ->>

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

перейти к ответу ->>

Какой будет результат сопоставления let x::y::z = [1;2]?

перейти к ответу ->>

Какие условия являются необходимыми для хвостовой рекурсии?

перейти к ответу ->>

Алгоритм вывода типов W содержит в себе следующие основные этапы:

перейти к ответу ->>

Eval/Apply-интерпретатор состоит из

перейти к ответу ->>

Какая операция повышает порядок функции?

перейти к ответу ->>

Что такое денотационная семантика языка программирования?

перейти к ответу ->>

Как определяется функция в λ-исчислении?

перейти к ответу ->>

В чем преимущества лямбда-исчисления как модели вычислений?

перейти к ответу ->>

Как правильно описать двоичное дерево на F#?

перейти к ответу ->>