2020-03-29lisp学习-20

95/ 通用的结合函数,依其类型返回特定的结合函数

1 > (defun combiner (x)
  (typecase x
    (number #'+)
    (list #'append)
    (t #'list)))
COMBINER
1 > (defun combine (&rest args)
  (apply (combiner (car args))
         args))
COMBINE

以上为函数定义,根据不同的元素类型,调用不同的函数,并返回值

1 > (combine 2 3);;;元素为数字,调用+
5
1 > (combine '(a b) '(c d));;;元素为列表,调用list
(A B C D)

96/ 调用stamp时,我们获得一个比之前高的数字,而调用reset我们可以将计数器归零:

2 > (let ((counter 0))
  (defun reset ()
    (setf counter 0))
  (defun stamp ()
    (setf counter (+ counter 1))))
STAMP;;;函数定义
2 > (list (stamp) (stamp) (reset) (stamp));;;stamp增加1,reset清零
(1 2 0 1)
2 > (list (stamp) (stamp) (stamp) (stamp) (stamp) (stamp) (reset)(stamp));;;stamp增加1,reset清零
(2 3 4 5 6 7 0 1)

97/ complement函数,接受一个谓词,并返回谓词的补数(complement)

2 > (mapcar (complement #'oddp);;;偶数谓词,返回T
          '(1 2 3 4 5 6))
(NIL T NIL T NIL T)
2 > (mapcar (complement #'oddp);;;偶数谓词,返回T
          '(1 2 3 4 5 6 8 4 7 5 3))
(NIL T NIL T NIL T T T NIL NIL NIL)

98/ 函数引用到外部定义的变量时,这外部定义的变量称为自由变量(free variable)。

函数引用到自由的词法变量时,称之为闭包(closure)。[2]只要函数还存在,变量就必须一起存在。

3 > (setf fn (let ((i 3)):::变量设定fn,局部变量i
             #'(lambda (x) (+ x i))));;;执行函数体,即计算x+i的值并返回该值
#<COMPILED-LEXICAL-CLOSURE #x302000D1380F>;;;自由变量定义
3 > (funcall fn 2);;;fn为自由变量
5

3 > (funcall fn 8)
11
3 > (setf fn (let ((i 6))
             #'(lambda (x) (+ x i))))
#<COMPILED-LEXICAL-CLOSURE #x302000D0A20F>;;自由变量定义
3 > (funcall fn 8);;fn为自由变量
14
3 > (funcall fn 2);;fn为自由变量
8

99/ add-to-list,这函数接受一个数字及列表,并返回一个列表,列表元素是元素与传入数字的和。

3 > (defun add-to-list (num lst);;;函数名及形参,num是自由的词法变量
  (mapcar #'(lambda (x)
              (+ x num));;;;我们传递了一个闭包给mapcar
          lst))
ADD-TO-LIST;;;自定义的函数,只要函数还存在,num变量就必定存在,隐含在函数体中,非全局变量和设定变量
3 > (add-to-list 1 '(2 4 6))
(3 5 7)

3 > num
> Error: Unbound variable: NUM;;;未知变量
> While executing: CCL::TOPLEVEL-EVAL, in process Initial(0).
> Type :GO to continue, :POP to abort, :R for a list of available restarts.
> If continued: Retry getting the value of NUM.
> Type :? for other options.

100/ 函数在被调用时,每次都返回不同的闭包。

4 > (defun make-adder (n);;;函数名及形参,n为自由变量
  #'(lambda (x)
      (+ x n)));;;函数体,闭包传给函数
MAKE-ADDER;;;定义函数,每次返回一个加法器(adder)
4 > (setf add3 (make-adder 3));;;定义变量,及把“每次加3的加法器”赋值到add3
#<COMPILED-LEXICAL-CLOSURE (:INTERNAL MAKE-ADDER) #x302000D2BE4F>
4 > (funcall add3 2);;;它接受一个数字,并返回一个将该数字与其参数相加的闭包(函数)
5
4 > (setf add27 (make-adder 27));;定义变量,及把“每次加27的加法器”赋值到add3
#<COMPILED-LEXICAL-CLOSURE (:INTERNAL MAKE-ADDER) #x302000D297AF>
4 > (funcall add27 2);;;它接受一个数字,并返回一个将该数字与其参数相加的闭包(函数).
29

©著作权归作者所有,转载或内容合作请联系作者
平台声明:文章内容(如有图片或视频亦包括在内)由作者上传并发布,文章内容仅代表作者本人观点,简书系信息发布平台,仅提供信息存储服务。

推荐阅读更多精彩内容