5-мавзу. Функционал дастурлаш

(map-comp #'* '(1 2 3) '(4 6 9)); = (4 12 27 ) Махсулотлар
(map-comp #'cons '(1 2 3) '(4 6 9)); = ((1 . 4)(2 . 6)(3 . 9)) Жуфтликлар
(map-comp #'eq '(4 2 3 ) '(4 6 9)); = (T NIL NIL ) Мос келадиган натижалар
Рўйхат элементлари билан нима қилишни тушуниш кифоя, қолганлари ушбу рўйхатни берилган функция натижалари рўйхатига мослаштирадиган map-comp функционаллиги билан якунланади.
4-мисол. Берилган рўйхат учун унинг бир қанча атрибутларини ҳисоблаш, яъни узунликни, биринчи элементни, қолган элементлар рўйхатини ҳисоблаш.
(defun mapf (fl el)
(cond ; Биринчи аргумент бўш бўлгунча,
(fl (cons (funcall (car fl) el )
; иккинчи аргуменга бошқа функцияни қўллаш
(mapf (cdr fl) el)
;ва қолган функцияларга ўтиш,
) ) ) ) уларнинг натижаларини умумий рўйхатда тўплаш
(mapf '(length car cdr) '(a b c d )); = (4 a (b c d ))
Бундай функционалларнинг композицияси билин умумий аргументлар рўйхатига ёки уларнинг аргументлари рўйхатларининг параллел кўрсатилган кетма-кетлигига бир қатор функцияларни қўллаш мумкин. Табиийки, кетма-кетликлар ҳам, рўйхатлар билан ифодаланади.
10) Исмлар доирасини ва уларнинг таърифларини бошқаришнинг мумкин бўлган воситалари.
Aмалиётда функционал дастурлаш тизимида ўзгарувчилар ўзига хос маънога эга бўлган контекстлар иерархиясини таъминловчи махсус функцияларни ўз ичига олган анъана шаклланди. Clisp учун булар LET ва LET*.
Let – мустақил ифодаларни локал ўзгарувчиларга мос келишини солиштиради. Мураккаб таърифдан ҳар қандай мос келадиган ифодаларни чиқариб олиш учун, унинг ёрдамидан фойдаланиш мумкин.
Мисол:
(defun UNION- (x y) (let ( (a-x (CAR x))
(d-x (CDR x)) )
(COND ((NULL x) y)
((MEMBER a-x y) (UNION d-x y) )
(T (CONS a-x (UNION d-x y)) ) ) ))
Let* - локал ўзгарувчиларга, ўзаро боғлиқ бўлган ибораларни солиштиради. Бу номланган ифодаостиларнинг мураккаблигини дозалашга имкон беради. Мисол:
(defun ( (member (a x) (let* ( (n-x (null x))
(a-x (car x))
(d-x (cdr x))
(e-car (eq a a-x)) )
(COND (N-X Nil) (E-CAR T) (T (MEMBER A D-X))) ) ))

*)Еслатма. Ён таъсирнинг аниқлигига қадар эквивалентлик.

Labels – ифодаларни ҳисоблаш учун, функция таърифлари рўйхатидан контекстни шакллантиришга имкон беради.
Flet –локал рекурсив бўлмаган функцияларни киритиш имконини берадиган махсус функция.
defun – жорий даражада, янги таърифларни киритишга имкон беради.

Таърифларнинг мослашувчанлигини оширишга мисол сифатида, Lisp 1.5 тавсифида Ж. Маккарти томонидан берилган М – ифодасидан олинган Lispдаги Lisp интерпретаторининг соддалаштирилган таърифи келтирилган. Диагностика қилиш камайтирилган, олдиндан ҳисоблаш ва Prog формалари йўқ.

Lisp дастурларни оптималлаштириш учун жуда мос келади. Ҳар қандай мос келадиган пастки иборалар локаллаштирилиши ва қўзштирноқ ичига олиниши мумкин. Қуйида келтирилган интепретатор таърифида “(ASSOC e al)” қийматини ўтказиб, ўрнатилган функциялар тўпламига боғлиқликни аниқ кўрсатиш мумкин.
Функция таърифлари ўзгарувчан қийматлар сингари ассоциатив рўйхатда сақланади.
SUBR функцияси – бошқа, одатда паст даражадаги воситалар томонидан амалга ошириладиган примитивларни чақиради. ERROR – хато манбаларини топишда ёрдам берадиган хато хабарлари ва ҳисоблаш контекст маълумотларини беради.
Функционал аргументлар билан аниқланган иш:
(DEFUN EVAL (e al )
(COND
((EQ e NIL ) NIL )
((ATOM e ) ((LAMBDA (v )
(COND (v (CDR v ) )
(T (ERROR 'undefvalue )) )
) (ASSOC e al ) )
)
((EQ (CAR e) 'QUOTE ) (CAR (CDR e )) )
((EQ (CAR e) 'FUNCTION ) (LIST 'FUNARG (CADR fn ) al ) )