Haskell中where子句求值顺序及表达式展开的技术咨询

嘿，这个问题问得特别到位——很多刚接触Haskell的开发者都会在where子句的变量绑定顺序和求值方式上产生困惑。咱们直接拆解你的例子，把逻辑讲透：

首先给出明确结论：你的代码绝对不会展开成foo(i(j(k)), j(k), k)这种嵌套调用的形式，正确的逻辑更接近你说的func x = foo(i, j, k)本质（不过Haskell里函数调用用空格分隔，不需要括号），i、j、k是where块中定义的三个独立变量绑定，只是它们之间存在依赖关系，求值时会按需触发依赖链。

先看代码的等价转换 #

你可以把where子句转换成更直观的let表达式（两者语义几乎一致，只是作用域和写法不同），这样逻辑会更清晰：

func x = 
  let k = bat x
      j = baz k
      i = bar j
      foo a b c = a + b + c
  in foo i j k

这里的i、j、k都是已经绑定好的变量，foo是一个局部定义的函数，接受三个参数并返回它们的和。最终func x就是把i、j、k这三个变量的值传给foo。

惰性求值下的依赖链触发 #

Haskell是惰性求值，所以i、j、k不会提前计算，只有当foo需要用到它们的值时才会触发计算：

1. 当func x被调用后，要计算foo i j k，首先foo需要三个参数的值；
2. 先看i，它的定义是bar j，所以需要先得到j的值；
3. j的定义是baz k，所以需要先得到k的值；
4. k的定义是bat x，这时候直接计算bat x得到k的结果；
5. 拿到k后计算baz k得到j，再用j计算bar j得到i；
6. 最后把i、j、k三个值代入foo，计算它们的和。

为什么不会是嵌套调用？ #

你提到的foo(i(j(k)), j(k), k)是典型的命令式思维下的误解——在你的代码里，i、j都是变量绑定，不是函数。i = bar j的意思是"把bar j的结果绑定给名字i"，而不是"定义一个函数i，它接受参数j"。所以不存在i(j(k))这种调用，因为i本身就是一个值，不是函数。

内容的提问来源于stack exchange，提问作者Simon Carlson