1.3用高阶函数做抽象

最新推荐文章于 2020-11-21 19:24:19 发布

ferris_chan

最新推荐文章于 2020-11-21 19:24:19 发布

阅读量243

点赞数

分类专栏：计算机程序的构造和解释SICP

本文链接：https://blog.csdn.net/ferris_chan/article/details/78463272

版权

计算机程序的构造和解释SICP 专栏收录该内容

12 篇文章 0 订阅

订阅专栏

计算机程序的构造和解释(笔记)

1.3用高阶函数做抽象

对于编程而言，若将函数只能以数为参数，则会限制我们抽象的能力；但若可以将函数作为参数，则会提供更有力的抽象。

1.3.1 过程作为参数

公共模板

(define (<neme> ab) )
  (if (> a b) )
      0
      (+ (<term> a )
          (<nema> ((<next> a) b ) ))

1.3.2 用 lambda 构造过程

在LISP中，lambda和define同样的方式构建过程，除了不为有关过程提供名字外：

( lambda ( < formal-parameters>) < body>)

“`
(lambda (plus4 x) (+ x 4))

等价于

(define plus4 (lambda (x) (+ x 4)))

“`

lambda阅读方式:

lambda阅读方式

lambda书写：

y |-> x/y; 表示 lambda(y) (/ x y)

C++中，lambda为匿名函数

lambda表达式（匿名函数）：可调用的代码单元，类似一个未命名的内敛函数

格式：
[capture list] (parameter list) -> return type { function body}

capture list(捕获列表）为所定义局部变量的列表（通常为空）
捕获列表
    []  空捕获列表。只有捕获变量后才能使用
    [name]  默认情况下，列表中的变量都被拷贝
    [ & ]  隐式捕获列表，采用引用捕获
    [ = ] 隐式捕获列表，采用值捕获
    [ &, identifer_list]
    [ = , idengtifer_list]