使用值建構函式引數建立資料型別

值建構函式是返回資料型別值的函式。因此,就像任何其他函式一樣,它們可以採用一個或多個引數:

data Foo = Bar String Int | Biz String

我們來檢查 Bar 值建構函式的型別。

:t Bar

版畫

Bar::String -> Int -> Foo

這證明了 Bar 確實是一種功能。

建立自定義型別的變數

let x = Bar "Hello" 10
let y = Biz "Goodbye"