haskell - 组合具有更高元数的函数

Question

我不明白用 arity > 1 组合函数。
在 ghci 7.4.1 我输入:

((*).succ) 3 4
> 16

我不完全理解数学转换，但很明显它与

(*) (succ 3) 4

但是当我这样做时:

( (\x y z -> x).(\a b -> a*b) ) 2 3 4 5
> 10
( (\x y z -> y).(\a b -> a*b) ) 2 3 4 5
> No instance for (Num (a0 -> t0))

现在我完全迷路了。谁能解释会发生什么？附言。我知道 haskell 中的所有内容都只有 1 个参数，但它并没有真正帮助我 :)

Answer 1

以这种方式解决:

(f . g) x = f (g x)
(f . g) x y = f (g x) y -- applying y

然后将 f 替换为 (*) , g 与 succ和 x 和 y 及其值:

((*) . succ) 3 4 = (*) (succ 3) 4
                 = (*) 4 4
                 = 16