haskell - 如何读取 "Num (a -> b -> a) => a -> [b] -> a"的定义

Question

我正在尝试了解 Haskell 函数定义。我采用了 Foldl 函数，其定义为

:t foldl
foldl :: (a -> b -> a) -> a -> [b] -> a

现在第一个参数是一个函数，所以如果我传递它，剩下的就是:

:t foldl (+)
foldl (+) :: Num b => b -> [b] -> b

我将其理解为“一个采用数值并返回采用数组的函数”。

现在，第一个参数真的是一个函数吗？可以读作

foldl :: a -> b -> a -> a -> [b] -> a

相反？

我尝试只传递一个数值，这就是我得到的:

foldl 4 :: Num (a -> b -> a) => a -> [b] -> a

问题是..你怎么读这个？我不明白我有什么。

Answer 1

第一个参数是一个函数，因此不能读作:foldl::a -> b -> a -> a -> [b] -> a。因为 -> 是右关联的，这意味着 a -> b -> c 是 a -> (b -> c) ，即与 (a -> b) -> c

不同