类型签名作为函数

Question

我有以下类型构造函数和数据构造函数：

data Compose f g x = MkCompose (f (g x))

在Compose的前奏中获取类型签名，它显示：

MkCompose :: f (g x) -> Compose f g x

为什么它显示为一个函数？

当我应用以下类型时：

*ComposeExercise> :t MkCompose [[42]]
MkCompose [[42]] :: Num x => Compose [] [] x

那么对我来说，这很清楚。

Answer 1

当你写作时：

data Compose f g x = MkCompose (f (g x))

你是说：

MkCompose :: f (g x) -> Compose f g x

那是Compose的定义；这就是 data 声明的作用。

但是，当你给它一个参数时（因为它是一个函数），如下所示，f、g 和 x 被赋予特定类型：

λ> :t MkCompose [[1]]                    -- f = [], g = [], x = Num n => n.
MkCompose 1 :: Num n => Compose [] [] n  -- As in the definition.

MkCompose 有一个函数类型正是因为它是一个函数；它接受一个值并返回另一个值。

如果不清楚，这里有一些其他示例：

• MkCompose (Just [1]) :: Num n => Compose Maybe [] n，因为Just [1] :: Num n => Maybe [n]。在这种情况下，f = Maybe、g = [] 和 x = Num n => n。
• MkCompose getLine :: Compose IO [] Char，因为getLine :: IO [Char]。在这种情况下，f = IO、g = [] 和 x = Char。
• MkCompose [[]] :: Compose [] [] x，因为[[]] :: [[x]]。在这种情况下，f = []、g = []，但x 可以是任何东西。