Алгебра спискових структур покладена в  основу  лямбда-числення А. Чьорча.

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

(((Z . Z)) ( Z (Z)) ((Z)) Z . Z)

Emacs-Lisp - діалект мови Lisp, що орієнтується у першу чергу на програмування паралельних обчислень

Задати лямбда-виклик для обчислення суми деяких елементів трьох заданих числових списків, а саме: першого елемента другого списку , другого елемента першого списку та третього елемента третього списку.

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

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

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

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

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

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

((Х . Х) ( Х (Х X . X)) . Х)

Мова розроблена компанією Ericsson , що орієнтується на паралельне програмування (англ.)

Вибрати базові функції мови програмування з сімейства ЛІСП, які результатом не можуть мати логічні константи

Задати у формі притаманній функційному програмуванню виклик функції reduct (редукція) для обчислення суми введених одним списком семи чисел, кожне з яких збільшено на 5. Функціональний аргумент задати у вигляді лямбда-виразу.

Вибрати базові функції строго функційного програмування, які можуть мати результат типу складений S-вираз