scheme lambda表达式 形参

 lambda表达式 
(Lambda (arg1 …) exp1 exp2)
从演算来看，(let ((var value) …) exp1 exp2…) == ((lambda (var …) exp1 exp2 …) value … )
对于Lambda函数的参数
如果形参只有一个，则可以有任意数量的实参，所有实参被格式化为一个list传给函数。
如果形参list是不正常的list的形式，则形参对应的实参被一一映射，而后的实参被格式化成一个list传给.后的形参，这也意味着，实参个数必须保证形参个数。如果形参是一个正常的list，则实参必须被一一映射。
因此((lambda (x) x) ‘a) = a 而((lambda x  x) ‘a) = (a)

一次接触Scheme的时候就是先学习的lambda演算，lambda本身就是一个匿名函数，而且 Scheme里面支持匿名函数，可以回顾下当时我的列子，如下： 
(define foo (lambda (x) 
(* x x))) 
Scheme中lambda表达式的形参表有3种接收参数的方式: 
1,定长,这种是最常见的,eg: 
(define square (lambda (n) (* n n))) 
(square 5)=>25

2,全定长,目前还没想通用处在哪里eg: 
(define foo (lambda x x)) 
(foo 1 2 3)=>(1 2 3)

3,半定长,这种在很多语言中都有用到,比如C的printf函数eg: 
(define f (lambda (x . y) (* x x))) 
(f 10 20 30)=>100

通常函数由以下4个部分组成: 
1,前继,n!(fac) 
2,后续,(n-1)!(fac (- n 1)) 
3,测零,(= n 0) 
4,不动点算子,1 
参考：http://www.douban.com/group/topic/7234599/