Метод Continuation-Passing Style призначений для спрощення реалізації рекурсії вищого порядку. 

 Поясніть, чи кожна пара є списком? Навести відповідні приклади.

Вибрати функції категорії селектори у функційній мові програмування 

Задати лямбда-виклик для визначення чи другий елемент заданого списку є парою, але не списком. Відомо, що цей елемент є складеним.

Параметризація рекурсії передбачає можливе уведення додаткових параметрів, не обумовлених безповередньо задачею

 Обчисліть самостійно результат виклику (reduct '(1 4 3) (lambda (x y) (+ (* x 2) (* y 2))) 0), де reduct - це функція вищого порядку, класична  редукція

Як позначається функція-примітив функційної мови LISP-сімейства, що аналогічна оператору розгалуження?

1) Записати ПОВНУ dot-нотацію для S-виразу

( ((0)) 8 (1) (2) ((3)) (а (с (4))))

2) Записати голову для другого за порядком входження на верхньому рівні підсписку заданого списку.

3) Зі скількох елементів складається вираз на верхньому рівні?

4) Через один виклик примітивів добудьте з цього виразу атом 2

Функція вищого порядку передбачає використання рекурсії  ненульового порядку

Маючи атом F та (), через один виклик комбінації  відповідних примітивів функційної мови програмування утворіть S-вираз

( ((F) (F) . F) ((F . F))  F . F)