求值策略:Applicative Order vs Normal Order

栏目: 编程语言 · 发布时间: 6年前

内容简介:举个例子:

举个例子:

(test 0 (p)) ,如果 test 的定义是

(define test (x y)
 (if (= x 0) 0 y)
)

p 的定义是 (define p (p))

  • Applicative order执行到test的参数时,会立即对 0和p进行求值。0求值得到0, p 求值得到 pp 继续求值得到 p ,所以会 陷入无线循环
  • Normal order执行到test的参数时,不会立即对参数进行求值,而是把函数进行展开,上面的表达式会被展开成
(if (= 0 0) 0 (p))

然后开始执行, (= 0 0) 为true,直接取值为0。因此不会陷入循环。Normal order会将表达式进行展开,递归的将函数体替换 原表达式中的引用。当到达无法展开时才会开始求值。这种玩法也叫 lazy evaluation,Haskell就是这么玩的。所以如果你看Haskell 相关的书,他们一定会鼓吹说Haskell是惰性求值的,可以避免多余的计算。


以上所述就是小编给大家介绍的《求值策略:Applicative Order vs Normal Order》,希望对大家有所帮助,如果大家有任何疑问请给我留言,小编会及时回复大家的。在此也非常感谢大家对 码农网 的支持!

查看所有标签

猜你喜欢:

本站部分资源来源于网络,本站转载出于传递更多信息之目的,版权归原作者或者来源机构所有,如转载稿涉及版权问题,请联系我们

算法导论(原书第2版)

算法导论(原书第2版)

[美] Thomas H.Cormen、Charles E.Leiserson、Ronald L.Rivest、Clifford Stein / 潘金贵 等 / 机械工业出版社 / 2006-9 / 85.00元

这本书深入浅出,全面地介绍了计算机算法。对每一个算法的分析既易于理解又十分有趣,并保持了数学严谨性。本书的设计目标全面,适用于多种用途。涵盖的内容有:算法在计算中的作用,概率分析和随机算法的介绍。书中专门讨论了线性规划,介绍了动态规划的两个应用,随机化和线性规划技术的近似算法等,还有有关递归求解、快速排序中用到的划分方法与期望线性时间顺序统计算法,以及对贪心算法元素的讨论。此书还介绍了对强连通子图......一起来看看 《算法导论(原书第2版)》 这本书的介绍吧!

Base64 编码/解码
Base64 编码/解码

Base64 编码/解码

XML、JSON 在线转换
XML、JSON 在线转换

在线XML、JSON转换工具

HEX CMYK 转换工具
HEX CMYK 转换工具

HEX CMYK 互转工具