haskell中组成的arguments的数量

Question

最近我一直在学习 haskell 中的组合，现在对这个例子有点困惑。

(const . min) 3 0 4

结果我得到 3，所以在内部它必须像这样计算：

const (min 3) 0 4

但我想既然 min 需要两个 arguments，它应该是这样的：

const (min 3 0) 4

因此，显然该组合只采用了这一论点，在这种情况下为 3，而不是像我预期的那样，所有的 arguments 都是最小的。 这是否意味着作品在默认情况下只接受一个参数，或者我在这里没有得到什么？

Answer 1

您可以通过手动评估初始表达式来回答您的问题。

(const . min) 3 0 4
⇒ (\x -> const (min x)) 3 0 4    * defn of (.)
⇒ (const (min 3)) 0 4            * function application
⇒ ((\x y -> x) (min 3)) 0 4      * defn of const
⇒ (\y -> min 3) 0 4              * function application
⇒ (min 3) 4                      * function application
⇒ 3                              * because 3 is less than 4

值得注意的是 function 应用程序是左关联的，因此fxy与(fx) y的含义相同。

还值得注意的是\xy -> z与\x -> \y -> z z 的含义相同。