多相バリアントを使いこなそう(2) - osiire’s blog

前回は、OCamlの多相バリアント型のタグは複数の多相バリアント型に属する事ができるというお話でした。では、この性質を応用するとどんな嬉しいことがあるのでしょうか?今日はまず、多相バリアントを組み合わせる場合のストーリーを挙げてみたいと思います。 多相バリアント型を組み合わせる 例えば、キーボードイベントとマウスイベントを定義するバリアント型があったとします。 # type keyboard_event = KeyPress of char | KeyRelease of char;; type keyboard_event = KeyPress of char | KeyRelease of char # type mouse_event = MousePress of int * int | MouseRelease of int * int | Click of int * int;