function - foldl类型中 `t a -> b`的含义

Question

我检查了 foldl 函数的签名，结果如下:

> :t foldl
foldl :: Foldable t => (b -> a -> b) -> b -> t a -> b

我对这部分感到困惑 t a ->b 这部分是什么意思？
我的猜测是否正确，这是否意味着 foldl 函数的第三个参数是一个 Foldable 数据结构，其中包含 a 类型的元素？

Answer 1

是。 t 是 Foldable 类型类的成员，因此我们认为它是 a 元素的可折叠对象。

如果例如 t 是一个 t ~ []，那么签名是:

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

或不太规范:

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

但是 t 可以是另一个 Foldable 像 Maybe, Tree, Either c 等。因此我们可以在这样的结构上使用 Foldl:

foldl :: (b -> a -> b) -> b -> [a] -> b
foldl :: (b -> a -> b) -> b -> Maybe a -> b
foldl :: (b -> a -> b) -> b -> Tree a -> b
foldl :: (b -> a -> b) -> b -> Either c a -> b