functionalform-清华大学资讯工程系.ppt

* * * * * * * * * * * * * * * * * * * * * * * * * * * Refer to p.78 * * * Refer to p.79 * Refer to p.84 * Refer to p.73 * Refer to p.78, 85 * * * * Refer to p.73, 78 * Refer to p.73, 78 * * * * * EQLI-GEN eqli-gen It takes two general lists; returns whether the two lists are equal (DEFUN eqli-gen (li1 li2) (COND ((ATOM li1) (EQ li1 li2)) ((ATOM li2) nil) ((NULL li1) (NULL li2)) ((NULL li2) nil) ((eqli-gen (CAR li1) (CAR li2)) (eqli-gen (CDR li1) (CDR li2))) (t nil))) Copied and altered from textbook “Concepts of Programming Languages” * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * Arithmetic Functions +, -, *, /, ABS, SQRT, MOD, REMAINDER, MIN, MAX expression value 42 42 (+ 5 7) 12 (+ 5 7 8) 20 (- 15 7 2) 6 (- 24 (* 4 3)) 12 Copied and altered from textbook “Concepts of Programming Languages” EVAL, QUOTE EVAL A function that can evaluate any other functions An implementation of EVAL could serve as a LISP interpreter QUOTE It returns the parameter without evaluation QUOTE is required because the interpreter, i.e. EVAL, always evaluates the parameters. QUOTE is used to avoid parameter evaluation when it is not appropriate QUOTE can be abbreviated with the apostrophe prefix operator. (A B) is equivalent to (QUOTE (A B)) Copied and altered from textbook “Concepts of Programming Languages” expression return value (QUOTE A) A ‘A A ‘(A B C) (A B C) (CAR (A B C)) error (CAR ‘(A B C)) A (CAR (+ 5 7)) error (CAR ‘(+ 5 7)) + Copied and altered from textbook “Concepts of Programming Languages” List Functions: CAR, CDR CAR takes a list parameter; returns the first element of that list e.g., (CAR (A B C)) yields A (CAR ((A B) C D)) yields (A B) CDR takes a list parameter; returns the list after removing its first element e.g. (CDR (A B C)) yields (B C) (CDR ((A B) C D)) yields (C D) Copied and altered from textbook “Concepts of Programming Languages” The nami