混淆关于适用函子纯

Question

我具有以下例如相pure功能：

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

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

例如，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计算的类型。