類型簽名功能

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