类型签名功能

Question

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

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

获取类型签名约撰写的前奏，它表明：

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可以是任何东西。