haskell - ((->) r) 在实例 Applicative ((->) r) 中意味着什么？

Question

instance Applicative ((->) r) where

这是 Haskell 中函数的 Applicative 类型类的实现。我不太明白 ((->) r) 以及如何阅读它。

我认为这意味着它是一个接受一个参数并返回任何内容的函数(另一个柯里化(Currying)函数，一个字符串)，但我不确定这是对的。那不是 (r ->)

Answer 1

这里，->是类型级运算符；它接受两种类型并返回一个新类型(函数类型)。在 ((->) r 中，它是部分应用的，因此您可以将其视为一个类型级函数，它采用一种类型 a 并返回该函数的类型接受一个 r 并返回一个 a。

((->) r) a == (->) r a  -- function application is left-associative
           == r -> a    -- switch to infix notation

你可以说(r ->)，但Haskell不支持类型级部分。 (而且我不认为有 GHC 扩展来启用此类支持。)

实际上没有一种好的方法来阅读它，因为它存在于一个抽象层次上，而这种抽象层次还没有被广泛讨论到值得用自然语言描述的程度。