Haskell 函数类型

Question

我现在正在尝试理解 Haskell 函数类型。 假设我想组合两个函数 f1 和 f2（假设我不知道它们的定义）。 f2 的函数签名。 f1 是：

f1 . f2 :: (Fractional (a -> a), Num a) => a -> (a -> a) -> a -> a

我如何阅读此签名，更具体地说，我如何知道如何将参数应用于此组合？

例如如何读取 f1 的类型信息。 f2 能够编写有效的表达式，例如

(f1 . f2 2) 3 4
(f1 2. f2 2) 4

Answer 1

那个签名意味着你没有正确组合它们。你不会得到类型error，因为理论上某些疯子可能会给函数一个Fractional 实例，但在现实生活中这永远不会发生。因此，没有一组参数可以应用于(f1 . f2) 来进行类型检查。

相反，备份并查看f1 和f2 的类型。这些是什么？我预测它们都是双参数函数，因为你的类型是我写的时候得到的类型

:t (/) . (+)
(/) . (+)
  :: (Fractional (a -> a), Num a) => a -> (a -> a) -> a -> a

你不能真正组合一个有两个参数的函数，因为组合是针对一个参数的函数。但是，如果您愿意，您可以在组合之前部分应用这些函数，以将它们变成单参数函数。这正是您在上一个示例中所做的，效果很好：

Prelude> f1 = (/)
Prelude> f2 = (+)
Prelude> (f1 2 . f2 2) 4
0.3333333333333333