1.3用高阶函数做抽象

来源：互联网发布：mysql 默认值约束编辑：程序博客网时间：2024/06/08 05:43

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

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]

用let创建局部变量：
第一部分为名字-表达式对偶的表
```
(let ((<var1> < exp1>)    (<var2> <exp2>)    .    .    .    <body> )
```
另外，请注意let中变量的作用域问题：

1.3.3 过程作为一般性的方法

区间对半查找方程的根
找函数的不动点

不动点：若f(x) = x, 则数x称为函数f的不动点

1.3.4 过程作为返回值

阅读全文

0 0