求值策略:Applicative Order vs Normal Order

举个例子:

(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是惰性求值的,可以避免多余的计算。


更多文章
  • Nginx 源码阅读(三): 连接池、内存池
  • Nginx 源码阅读(二): 请求处理
  • Nginx 源码阅读(一): 启动流程
  • Go 泛型简明教程
  • KVM 显卡穿透给 Windows
  • 使用 HTTP Router 处理 Telegram Bot 按钮回调
  • 使用反射(reflect)对结构体赋值
  • GIN 是如何绑定参数的
  • 你好 2022(2021 年终总结)
  • 用Go导入大型CSV到PostgreSQL
  • 使用 OpenWRT 搭建软路由
  • 使用软KVM切换器 barrier 共享键鼠
  • SQL 防注入及原理
  • 使用 gomock 测试 Go 代码
  • gevent不是黑魔法(二): gevent 实现