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

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

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1296504

Вопрос есть в коллекциях

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

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

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1296503

Вопрос есть в коллекциях

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

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

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1296502

Вопрос есть в коллекциях

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

генерация множества исходных уравнений, унификация для поиска решения
генерация множества исходных уравнений, перебор всех возможных подстановок
унификация типов имен и функций, генерация решения
унификация наиболее общих типов, генерация подстановок

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1296501

Вопрос есть в коллекциях

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

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

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1296500

Вопрос есть в коллекциях

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

ошибка
x=1, y=2, z=null
x=1, y=2, z=[]
x=[], y=1, z=2
x=null, y=1,z=2

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1296499

Вопрос есть в коллекциях

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

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

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1296498

Вопрос есть в коллекциях

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

O(log n)
O(n)
между O(log n) и O(n), в зависимости от сбалансированности дерева
между O(n) и O(n2), в зависимости от количества элементов дерева

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1296497

Вопрос есть в коллекциях

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

добавить дополнительную функцию susp: expr→env→expr для отложенного вычисления
ввести в дерево выражения конструкцию susp(expr,env), похожую на конструкцию замыкания
изменить функцию Apply, чтобы она вместо результата возвращала функцию для отложенного вычисления результата

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1296496

Вопрос есть в коллекциях

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

((f sin) x)*2
(f (sin x))*2
f(sin(x*2))
f(sin(x))*2

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1296495

Вопрос есть в коллекциях

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

(‘a→’b) → ‘a list → ‘b list
‘a → ‘b → ‘a list → ‘b list
‘a → bool → ‘a list → bool list
(‘a → bool) → ‘a list → ‘a list

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1296494

Вопрос есть в коллекциях

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

абстракция и аппликация
аппликация и инкапсуляция
абстракция и инкапсуляция
абстракция, аппликация и сложение

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1296493

Вопрос есть в коллекциях

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

одну, которая возвращается оператором Y
бесконечное множество – Y возвращает наименьшую неподвижную точку
бесконечное множество – Y возвращает наибольную неподвижную точку

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1296492

Вопрос есть в коллекциях

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

λ-исчисление
логика предикатов 1-го порядка
логика высших порядков
машина Тьюринга

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1296491

Вопрос есть в коллекциях

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

O(1)
O(n)
O(log n)
O(n2)

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1296490

Вопрос есть в коллекциях

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

(2+3)+(2+3)
(λx.x+x) 5
10
(λx.(2+3)+x)(2+3)

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1296489

Вопрос есть в коллекциях

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

n → λf.λx.fxn
n → λf.λx.fnx
как список из n элементов
как список из n+1-го пустого списка

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1296488

Вопрос есть в коллекциях

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

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

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1296487

Вопрос есть в коллекциях

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

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

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1296486

Вопрос есть в коллекциях

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

в конструкциях function, match, let
для этого предназначена специальная конструкция match
в конструкции связывания let
в конструкциях let и match

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1296485

Вопрос есть в коллекциях

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

первая запись допустима, вторая – нет
вторая запись допустима, первая – нет
в первом случае создается дерево лямбда-выражения, во втором – функция, которая по заданному x возвращает дерево умножения его на 2
нет разницы

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1296484

Вопрос есть в коллекциях

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

(λx.sin x) z → sin z
(λx.sin x) z → (λy.sin y) z
sin 0 → 0
(λx.sin x) 0 → 0

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1296483

Вопрос есть в коллекциях

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

async { fib 100; }
async { return (fib 100); }
return async { fib 100 }
async(fib 100)

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1296482

Вопрос есть в коллекциях

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

специальным оператором rec
добавлением rec в операцию связывания let
в F# нельзя описывать рекурсивные функции

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1296481

Вопрос есть в коллекциях

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

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

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1296480

Вопрос есть в коллекциях

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

eval : expr→env→expr
eval : expr→env→value
eval : expr→expr
eval : env→expr

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1296479

Вопрос есть в коллекциях

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

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

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1296478

Вопрос есть в коллекциях

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

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

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1296477

Вопрос есть в коллекциях

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

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

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1296476

Вопрос есть в коллекциях

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

компилятору необходимо знать, сколько памяти выделять под объект
это обеспечивает дополнительный контроль программы на этапе компиляции
это обеспечивает дополнительный контроль программы на этапе выполнения
это позволяет правильно форматировать строковое представление объекта при печати и преобразовании в строку (ToString())

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1296475

Вопрос есть в коллекциях

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

нет
да, если внутри создаются локальные переменные, описанные как mutable
да, если внутри создаются ссылочные объекты ref
да, если при компиляции включена опция позднего связывания

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1296474

Вопрос есть в коллекциях

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

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

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1296473

Вопрос есть в коллекциях

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

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

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1296472

Вопрос есть в коллекциях

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

(λz.z z)
(λz.z z) (λz.z z)
(λx.λy.y) ((λz.z z) (λz.z z))
(λx.λy.y)

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1296471

Вопрос есть в коллекциях

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

(λx.sin x) z → sin z
(λx.sin x) z → (λy.sin y) z
sin 0 → 0
(λx.sin x) 0 → 0

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1296470

Вопрос есть в коллекциях

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

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

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1296469

Вопрос есть в коллекциях

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

корень, левое поддерево, правое поддерево
левое поддерево, корень, правое поддерево
левое поддерево, правое поддерево, корень
корень, правое поддерево, левое поддерево

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1296468

Вопрос есть в коллекциях

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

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

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1296467

Вопрос есть в коллекциях

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

O(1)
O(n)
O(m)
O(nXm)

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1296466

Вопрос есть в коллекциях

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

iter
iteri
fold
Map

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1296465

Вопрос есть в коллекциях

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

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

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1296464

Вопрос есть в коллекциях

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

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

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1296463

Вопрос есть в коллекциях

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

let translate (dx,dy) = fun (x,y) → (x+dx, y+dy)
let translate dx dy = function x → function y → (x+dx, y+dy)
let translate (dx,dy) = closure { fun (x,y) → (x+dx, y+dy) }
let translate dx dy = function (x,y) → closure (x+dx, y+dy)

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1296462

Вопрос есть в коллекциях

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

sum(Async.RunSynchronously(Async.Parallel([async { return (fib 100) }, async { return (fib 200) }])))
Async.RunSynchronously(sum(Async.Parallel([async { return (fib 100) }, async { return (fib 200) }])))
Async.Parallel((fib 100)+(fib 200))
Async.Parallel(async { return (fib 100) + (fib 200) })

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1296461

Вопрос есть в коллекциях

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

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

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1296460

Вопрос есть в коллекциях

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

с помощью оператора неподвижной точки Y
с помощью рекуррентных соотношений
с помощью комбинаторов I, K

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1296459

Вопрос есть в коллекциях

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

f g x
f(g(x))
f (g x)
(f g) x

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1296458

Вопрос есть в коллекциях

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

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

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1296457

Вопрос есть в коллекциях

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

с помощью сопоставления с образцом let
с помощью сопоставления с образцом match
с помощью функций hd и tl
с помощью конструктора списков cons

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1296456

Вопрос есть в коллекциях

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

iter
map
filter
ни одна из перечисленных

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1296455

Вопрос есть в коллекциях

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

множество типовых уравнений типов для стандартных функций (map, fold, …)
формальная аксиоматическая система для вывода типовых заключений
система уравнений для типов базовых конструкций языка (let, if-then-else и др.)

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1296454

Вопрос есть в коллекциях

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

нормальные алгоритмы Маркова
машина фон-Неймана
машина Тьюринга
логика высказываний

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1296453

Вопрос есть в коллекциях

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

по ссылке
по значению
по имени
по адресу

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1296452

Вопрос есть в коллекциях

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

int -> (int -> int)
(Int -> int) -> int
(int Ч int) -> int
Int -> int

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1296451

Вопрос есть в коллекциях

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

token list → expr
token list → expr → token list
token list → (expr * token list)
(expr*token list) → (expr*token list)

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1296450

Вопрос есть в коллекциях

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

множество всех функций из T1 в T2
множество всех непрерывных функций из T1 в T2
множество всех функций из T1 в T2, дополненное элементом nil
множество всех функций из T1 в T2, дополненное элементом ^

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1296449

Вопрос есть в коллекциях

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

аппликация
абстракция, аппликация
абстракция, аппликация, композиция
абстракция, аппликация, композиция, сложение

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1296448

Вопрос есть в коллекциях

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

O(1)
O(n)
O(log n)
O(n2)

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1296447

Вопрос есть в коллекциях

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

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

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1296446

Вопрос есть в коллекциях

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

filter
map
reduce
fold

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1296445

Вопрос есть в коллекциях

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

двоичное дерево, в котором все листья упорядочены
дерево общего вида, в котором все узлы упорядочены
одноуровневое дерево общего вида, в котором все узлы упорядочены
двоичное дерево, в котором для каждого узла все элементы левого поддерева меньше, а правого поддерева – больше текущено.

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1296444

Вопрос есть в коллекциях

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

стек объектов вычислений, среда, управляющая строка, стек возвратов
стек операций, стек операндов, управляющая строка, стек возвратов
стек объектов вычислений, управляющая строка
стек объектов операндов, стек возвратов, среда

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1296443

Вопрос есть в коллекциях

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

hd = λx.x true
hd cons x y = x
hd = λh.λt.λs.s h t
hd x = x false

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1296442

Вопрос есть в коллекциях

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

она всегда может быть сведена компилятором к итерации
определения с хвостовой рекурсией получаются проще
хвостовая рекурсия – единственный вид рекурсии, поддерживаемый F#
при хвостовой рекурсии выделяемая для параметров память выделяется в регистрах

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1296441

Вопрос есть в коллекциях

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

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

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1296440

Вопрос есть в коллекциях

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

представление функции от нескольких аргументов как функции от одного аргумента, возвращающей результат-функцию
представление функции от нескольких аргументов как функции от одного аргумента – упорядоченной n-ки
представление функции от нескольких аргументов как функции от одного аргумента спискового типа
запрет на использование функций от нескольких аргументов

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1296439

Вопрос есть в коллекциях

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

‘a list → ‘a list
list → list
int list → int list
‘a list → ‘a

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1296438

Вопрос есть в коллекциях

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

unit → int
int → int
Expr
int

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1296437

Вопрос есть в коллекциях

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

let x=e1 in e2 => (λx.e2)e1
let x=e1 in e2 => (λx.e1)e2
let x=e1 in e2 => (λf.[x/f]e2)e1
Y(λf.[x/f]e1) e2

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1296436

Вопрос есть в коллекциях

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

один
менее 100
100
200

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1296435

Вопрос есть в коллекциях

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

[10]
Nondet<10>
Nondet(10)
10

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1296434

Вопрос есть в коллекциях

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

Механизм реализации ввода-вывода в функциональных языках
языковый механизм для расширения системы типов и внесения дополнительных свойств
полиморфный монадический тип, для которого определены операции return и bind
полиморфный монадический тип, для которого определены операции return и bind, обладающие определенными свойствами

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1296433

Вопрос есть в коллекциях

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

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

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1296432

Вопрос есть в коллекциях

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

строит по входному тексту программы синтаксическое дерево
строит по последовательности лексем синтаксическое дерево программы
строит по входному тексту программы последовательность лексем
строит по входному тексту программы код абстрактной машины

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1296431

Вопрос есть в коллекциях

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

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

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1296430

Вопрос есть в коллекциях

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

fix f = =∪ifi(⊥)
fix f =∪ifi(Ø)
fix f = Зifi(⊥)
fix f =Зifi(Ø)

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1296429

Вопрос есть в коллекциях

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

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

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1296428

Вопрос есть в коллекциях

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

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

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1296427

Вопрос есть в коллекциях

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

как решение доменного уравнения D = { nil } + int XDXD
как неподвижная точка функции it.nil+x*t*t
как множество троек , i∈Int, l,r∈ tree

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1296426

Вопрос есть в коллекциях

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

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

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1296425

Вопрос есть в коллекциях

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

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

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1296424

Вопрос есть в коллекциях

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

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

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1296423

Вопрос есть в коллекциях

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

letrec x=e1 in e2 => (λx.e2)e1
letrec x=e1 in e2 => (λx.e1)e2
letrec x=e1 in e2 => (λf.[x/f]e1)e2
с помощью комбинатора неподвижной точки Y

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1296422

Вопрос есть в коллекциях

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

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

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1296421

Вопрос есть в коллекциях

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

(2+3)+(2+3)
(λx.x+x) 5
10
(λx.(2+3)+x)(2+3)

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1296420

Вопрос есть в коллекциях

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

(λz.z z)
(λz.z z) (λz.z z)
(λx.λy.y) ((λz.z z) (λz.z z))
(λx.λy.y)

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1296419

Вопрос есть в коллекциях

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

(λx.(λy.e1)e2)
λx.((λy.e1)e2)
(λx.λy).(e1e2)
(λx.(λy.e1e2))

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1296418

Вопрос есть в коллекциях

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

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

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1296417

Вопрос есть в коллекциях

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

Машина Тьюринга
логика предикатов
логика высказываний
комбинаторная логика

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1296416

Вопрос есть в коллекциях

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

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

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1296415

Вопрос есть в коллекциях

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

корень, левое поддерево, правое поддерево
левое поддерево, корень, правое поддерево
левое поддерево, правое поддерево, корень
корень, правое поддерево, левое поддерево

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1296414

Вопрос есть в коллекциях

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

O(1)
O(n)
O(log n)
O(n2)

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1296413

Вопрос есть в коллекциях

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

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

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1296412

Вопрос есть в коллекциях

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

[2..2..10]
[ for x in 1..10 when x%2=0 → x ]
[ for x in 1..10 step 2 do x ]
[ 2..10 step 2]

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1296411

Вопрос есть в коллекциях

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

(‘a → ‘a → ‘a) → ‘a → ‘a list → ‘a
(‘b → ‘a → ‘b) → b’ → ‘a list → ‘b
(‘a → ‘a) → ‘a → ‘a list → ‘a
‘a → ‘a → ‘a → ‘a list

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1296410

Вопрос есть в коллекциях

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

fold
filter
map
ни одна из перечисленных

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1296409

Вопрос есть в коллекциях

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

с помощью циклов
с помощью оператора перехода
с помощью рекурсии
любым их перечисленных способов

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Любой или несколько предметов

Промышленность, производство

Информатика

Промышленная безопасность

Программирование

История

Английский язык

Эксплуатация опасных производственных объектов

Комплексная химизация нефтегазодобычи

Теория государства и права

Безопасность жизнедеятельности (БЖД и ГРОБ или ОБЖ)

Сбросить фильтрОшибка?

Показать быстрые кнопки

Сбросить настройки

Отметить/снять все

Не нашли ответа на свой вопрос?

Добавить ответ

Ведь так и так найдёте ответ для своей учёбы 😉

Ставлю 10/10
Все нравится, очень удобный сайт, помогает в учебе. Кроме этого, можно заработать самому, выставляя готовые учебные материалы на продажу здесь. Рейтинги и отзывы на преподавателей очень помогают сориентироваться в начале нового семестра. Спасибо за такую функцию. Ставлю максимальную оценку.

Лучшая платформа для успешной сдачи сессии
Познакомился со СтудИзбой благодаря своему другу, очень нравится интерфейс, количество доступных файлов, цена, в общем, все прекрасно. Даже сам продаю какие-то свои работы.

Студизба ван лав ❤
Очень офигенный сайт для студентов. Много полезных учебных материалов. Пользуюсь студизбой с октября 2021 года. Серьёзных нареканий нет. Хотелось бы, что бы ввели подписочную модель и сделали материалы дешевле 300 рублей в рамках подписки бесплатными.

Отличный сайт
Лично меня всё устраивает - и покупка, и продажа; и цены, и возможность предпросмотра куска файла, и обилие бесплатных файлов (в подборках по авторам, читай, ВУЗам и факультетам). Есть определённые баги, но всё решаемо, да и администраторы реагируют в течение суток.

Маленький отзыв о большом помощнике!
Студизба спасает в те моменты, когда сроки горят, а работ накопилось достаточно. Довольно удобный сайт с простой навигацией и огромным количеством материалов.

Студ. Изба как крупнейший сборник работ для студентов
Тут дофига бывает всего полезного. Печально, что бывают предметы по которым даже одного бесплатного решения нет, но это скорее вопрос к студентам. В остальном всё здорово.

Спасательный островок
Если уже не успеваешь разобраться или застрял на каком-то задание поможет тебе быстро и недорого решить твою проблему.

Всё и так отлично
Всё очень удобно. Особенно круто, что есть система бонусов и можно выводить остатки денег. Очень много качественных бесплатных файлов.

Отзыв о системе "Студизба"
Отличная платформа для распространения работ, востребованных студентами. Хорошо налаженная и качественная работа сайта, огромная база заданий и аудитория.

Отличный помощник
Отличный сайт с кучей полезных файлов, позволяющий найти много методичек / учебников / отзывов о вузах и преподователях.

Отлично помогает студентам в любой момент для решения трудных и незамедлительных задач
Хотелось бы больше конкретной информации о преподавателях. А так в принципе хороший сайт, всегда им пользуюсь и ни разу не было желания прекратить. Хороший сайт для помощи студентам, удобный и приятный интерфейс. Из недостатков можно выделить только отсутствия небольшого количества файлов.

Спасибо за шикарный сайт
Великолепный сайт на котором студент за не большие деньги может найти помощь с дз, проектами курсовыми, лабораторными, а также узнать отзывы на преподавателей и бесплатно скачать пособия.