ユニオン型

Elmでは、ユニオン型は信じられないほど柔軟性があるため、多くのものに使用されています。ユニオン型は次のようになります。

type Answer = Yes | No

AnswerはYesまたは Noのいずれかです。ユニオン型は、コードをより一般的なものにするのに便利です。たとえば、

respond : Answer -> String
respond answer =
    ...

ように宣言された関数respondは最初の引数として YesまたはNoを取ることができます。たとえば「respond Yes」は有効な呼び出しです。

Elmでは、ユニオン型はタグと呼ばれることもあります。

ペイロード

ユニオン型は、関連する情報を持つことができます。

type Answer = Yes | No | Other String

この場合、タグ「Other」には文字列が紐付けられ、次のようにrespondを呼び出すことができます：

respond (Other "Hello")

この場合括弧が必要です。さもなければElmはこれを2つの引数を渡して応答すると解釈してしまいます。

ペイロードを「Other」に持たせる方法に注意してください。

Other "Hello"

これは Otherが関数であるときの関数呼び出しと同じです。ユニオン型は関数と同様に動作します。たとえば、以下のような型があるとき、

type Answer = Message Int String

次のようにして Messageタグを作成します：

Message 1 "Hello"

他の関数と同様に部分適用も可能です。これらは一般的に コンストラクタと呼ばれ、これを使って完全な型を作ることができます。たとえば、関数Messageを使って(Message 1 "Hello")を構築することができます。

ユニオン型を他の型の中に入れ子にすることは非常に一般的です。

type OtherAnswer = DontKnow | Perhaps | Undecided

type Answer = Yes | No | Other OtherAnswer

これを例えば、引数にAnswer型を取るrespond関数に渡すことができます：

respond (Other Perhaps)

型変数(もしくはスタンドイン)を使うこともできます：

type Answer a = Yes | No | Other a

これは、たとえばIntやStringなどの異なる型でも使用できる Answerです。

これを使って関数respondを次のように定義できます。

respond : Answer Int -> String
respond answer =
    ...

ここでは、 aスタンドインは、Answer Intシグネチャによって「Int型でなければならない」と言っています。

なので、以下のようにrespondを呼ぶことができます：

respond (Other 123)

しかし、 respondはaとして整数を期待するので、 respond (Other "Hello")はコンパイルエラーとなります。 (訳注: 「respond: Anwer a -> String」のようにジェネリックなままで関数を定義することもできます。)

ユニオン型の典型的な使い方は、プログラム内の値を渡すことです。この値は、既知の可能な値のセットの1つになります。

例えば、典型的なウェブアプリケーションでの実行可能なアクションとして、ユーザーの追加、ユーザーの追加、ユーザーの削除などがあるとします。これらのアクションのいくつかはペイロードを持ちます。

このとき、ユニオン型を使用するのが一般的です。

type Action
    = LoadUsers
    | AddUser
    | EditUser UserId
    ...

ユニオン型については他にも多くの話題があります。興味があればこちらをご覧ください。