退会したときに消えてしまった記事を復元したものです。使って実装してみました。上記の記事を読んでから先に進んでください。Typesは直和型ではないという問題でした。定義することにしました。定義されていた型と対応しています。型は以下のように実装することができます。排中律を実装してみましょう。するのが自然だと思われます。型を戻り値とする手続きであることに注意してください(これは呼ばれたら決して戻ってこないことを意味しています)。元記事の演習問題の解答に相当するため、自分で解きたい人は飛ばしてください。Typesがないと使用例が動かない気がするので、これだとSMLでは動かないような......。Racketは静的に型付けられたバージョンのRacketで、後付けで型を追加したプログラミング言語のなかでは本当に良くできていると思います。購読するトップページに戻る。