, . , .
- , , , - , , () . (), (, 543), (, 3.789) (, 1.0243-6).
.
, , (). , . ,
(ab(cd)e)
( 18 )
((((() 2) ) 4) 5).
, , "()" NIL. - , () .
- , , . - - - : (, )
(1 2... aN) = (1. (2.... (aN.Nil)...)).
Nil - , ( ).
S-. -
<S->:: = <> | <>
<>:: = (< >)
< >:: = NIL | <S-> [{ }}
<>:: = - (,);.
- . , :
(
( )
( )
( )
( ( ( 1969 1979))
( ( . ( 1979 1982)
( . ( 1982 1984)) (
( )
()
( ( 1984 1997)
)
- () - . () .
, , :
(f x)
(g x y) (_ 2 3).
:
(+ )
(*x(+yz))
(+ (^ ) (+ )).
|
|
- . 1-
1(1,2,...,xn).fn
1- (LAMBDA (xl, x2,..., xn).fn).
LAMBDA , . xi , , -; fn - , , . , , . , , , , :
(lambda(xy)(+(*xx)(*yy))).
- - , .
(- 1 2... an)
ai - , .
((lambda ( ) (+ (* ) (* ))) 3 4).
: 25.
DEFUN (define function):
(DEFUN - ).
DEFUN -, () - . :
(defun sumsquare ( ) (+ (* ) (* ))).
: sumsquare.
() :
(sumsquare 34)
: 25.
, . , .
. , .. , .
. S-
CAR, CDR, CONS, ATOM, EQ, EQL, =
, . 3.7.
3.7