haskell - haskell 中的 ((->) t ) 是什么？

Question

我在做20 intermediate Haskell exercises .

完成前 2 个练习后，出现了这个奇怪的事情。

我想知道((->) t)是什么?

-- Exercise 3
-- Relative Difficulty: 5
instance Fluffy ((->) t) where
  furry = error "todo"

谢谢! :-)

Answer 1

(->)是具有类型 * -> * -> * 的函数的类型构造函数所以它需要两个类型参数——函数的输入和结果类型。 ((->) t是此构造函数的部分应用，因此它是参数类型为 t 的函数即 (t -> a) 对于某些类型 a .

如果将其替换为 furry 的类型你得到的功能:

furry :: (a -> b) -> (t -> a) -> (t -> b)