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

Question

instance Applicative ((->) r) where

這是 Haskell 中函數的 Applicative 類型類的實現。 我不太了解((->) r)以及如何閱讀它。

我認為這意味着它是一個函數，它接受一個參數並返回任何東西（另一個柯里化函數，一個字符串）但我不確定，是這樣嗎？ 那不是 (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 擴展可以啟用此類支持。）

沒有真正閱讀它的好方法，因為它存在於一個抽象級別，該級別沒有被廣泛討論以值得自然語言描述。

Answer 2

instance Applicative ((->) r) where

這是Haskell中某個函數的Applicative類型類的實現。 我不太了解((->) r)以及如何閱讀。

我認為這意味着它是一個帶有一個參數並返回任何值的函數（另一個咖喱函數，一個String），但是我不確定，這是正確的。 那不是（r->）