類型中的類型與值構造函數

Question

我正在學習Haskell，並對此示例感到困惑。

考慮以下：

class Tofu t where
    tofu :: j a -> t a j

data Frank a b = Frank {frankField :: b a} deriving (Show)

instance Tofu Frank where
    tofu x = Frank x

為什么在將Frank作為Tofu的實例時，我們提供（據我所知），類型構造函數Frank x ，而不是值構造函數，即tofu x = Frank {frankField = x} ？

Answer 1

你還在使用值構造函數。 您可以使用具有記錄字段的類型而無需使用記錄語法來構造它們，因此Frank x與Frank { frankField = x } 。

如果您有多個記錄字段，例如：

data Frank a b = Frank { frankA :: a, frankB :: b } 

...然后字段按照您寫入的順序顯示，因此您可以執行以下操作：

-- With x :: a, y :: b
Frank x y