Požiadavky na skúšku/zápočet

Created: 2009-12-13 - 15:49

-symbolicke vyrazy (konstruktory selektory)
-citovanie, kvazicitovanie
-lambda vyrazy
-specialne formy(define, set!, begin, if, cond, case, let, letrec, let-*, les s nazvom,do)
-definicie procedur()
-predikaty vyssieho radu
-rekurzia a iteracia
-vyhodnocovanie vyrazov
 (substitucny model a ramcovy model)

Ak ma niekto viac info ako ja, pls let me know ;-)

A toto... asi nakreslit ramce:
(let ((x (lambda (x y) (+ x y)))
(y (lambda (X) (- x 3))))
(let* ((x (x 3 3))
(y (y x)))
(* x y)))

(let d((x 4))
(if (< x 2)
2
(let ((y ( d (- x 4)))
(z (d (- x 2))))
(* y z))))