混淆纯粹的应用函子

Question

我有以下具有pure函数的示例：

Prelude> :t pure ((+1) 1)
pure ((+1) 1) :: (Num a, Applicative f) => f a

f包裹a的具体类型之上是什么？

例如， f （结构）可能在这里：

Prelude> pure ((+1) 1) :: Maybe Int
Just 2

以及什么是结构：

pure ((+1) 1)

？

第二个例子：

Prelude> :t pure ((+1) 1) :: [Int]
pure ((+1) 1) :: [Int] :: [Int]

为什么GHCi会两次显示类型，即:: [Int] :: [Int]不仅:: [Int] ？

Answer 1

1. f和a都是类型变量。 没有具体类型。 它将使用周围上下文所需的任何类型。

2. 当键入:t EXPR ，ghci将类型打印为EXPR :: TYPE 。 第一个:: [Int]是您键入的表达式的一部分； 第二个:: [Int]是ghci计算的类型。