haskell - 了解 Data.Function.on 类型签名

Question

在 Haskell 语法和函数式编程语言方面，我仍然是初学者，所以当我查看 Data.Function.on 的类型声明时这是on :: (b -> b -> c) -> (a -> b) -> a -> a -> c ，我的解释是它需要四个参数:(b -> b -> c) , (a -> b) , a , a , 并返回 c .但是，当我查看 Data.Function.on 的一般使用语法时这是(*) `on` f = \x y -> f x * f y ，它只带两个函数参数，而不是四个，那么类型签名与使用语法有什么关系呢？

Answer 1

my interpretation is that it takes four parameters

所有 Haskell 函数都有一个参数。其中一些只是返回其他功能。

查看 on 签名的最佳方式作为高阶函数: (b -> b -> c) -> (a -> b) -> (a -> a -> c) .这就是说“如果你给我一个二元运算符，它接受 b s 并给出一个 c 和一种从 b s 获得 a s 的方法，我会给你一个二元运算符，它接受 a s并给出 c"。您可以在定义中看到这一点:

(*) `on` f = \x y -> f x * f y