Основы функционального программирования

Отметьте спецификации, которым соответствует функция Pairlis.

(Отметьте один правильный вариант ответа.)

Варианты ответа

(List(Atom) List(Number) List((Atom . Number))) => List((Atom . Number))

(List(Atom) List(Some) List((Atom . Some))) => List((Atom . Some))(Верный ответ)

(List(Some) List(Some) List((Some . Some))) => List((Some . Some))

Похожие вопросы

Отметьте спецификации, которым соответствует функция Subst.

Отметьте спецификации, которым соответствует функция:

(defun Assoc (x al) (cond (al(cond ((eq (x (caar al))) (car al))))

Укажите тест, на котором функция Pairlis (см. лекцию 3) исчерпает два первые аргумента.

Укажите тест, на котором функция Pairlis (см. лекцию 3) может завершиться аварийно из-за неподходящей структуры данных.

Какой спецификации соответствует данный тест ((a . 1)( b . 2)( 3 . 4)).

Спецификации результатов какой из функций соответствует формуле: (X List(X)) -> List(X) ?

Какой из тестов соответствует спецификации List (Atom) => List (Number).

Какая из функций не соответствует спецификации ни аргументов, ни результатов: (X List(X)) -> List(X)?

Какая из функций соответствует спецификации аргументов и результатов (X List(X)) -> List(X)?

Какая из функций соответствует спецификации результатов: (X List(X)) -> List(X) ?