單位型別（The unit type）

Elm 中，空的 tuple () 稱之為單位型別。這個十分的普及，值得作些解說。

考慮某一個型別別名，並帶有型別變數（使用 a 代表）：

type alias Message a =
    { code : String
    , body : a
    }

可以讓某個函式預期有個 Message 型別，裡面的 body 是 String 型別，像是：

readMessage : Message String -> String
readMessage message =
    ...

或某個函式預期有個 Message 型別，裡面的 body 是整數串列的型別：

readMessage : Message (List Int) -> String
readMessage message =
    ...

但如果某個函式並不需要 body 有值呢？可以使用單位型別來指出 body 必須為空值：

readMessage : Message () -> String
readMessage message =
    ...

上述函式取用 Message 型別，帶有空的 body。這跟任意值不同，就是個空值。

所以，單位型別常見用來作為空值的保留位置（placeholder）。

任務（Task）

實際應用中 Task 型別就是個範例。當使用 Task 時，你會常看到單位型別。

典型的任務會有錯誤及結果。

Task error result