バレンタインデー

type Season =
    | Spring
    | Summer
    | Autumn
    | Winter

type Number =
    | Integer of int
    | Float of float
    | Invalid

let byName = Integer 2
let byFullName = Number.Invalid

let describe number =
    match number with
    | Integer i -> sprintf "Integer: %d" i
    | Float d  -> sprintf "Float: %f" d
    | Invalid   -> "Invalid"

説明

この演習では、バレンタインデーにパートナーと一緒に何か楽しいことをする予定です。パートナーはたくさんのアイデアを持っていて、どの活動をするかを決めるために、それぞれのアイデアを評価してほしいと言っています。

パートナーが提案しているアイデアは次のとおりです。

• ボードゲームで遊ぶ
• のんびり過ごす
• 映画を観る
• レストランに行く
• 散歩する

バレンタインデーの過ごし方を選ぶためのタスクが6つあります。

1. approvalを定義する

パートナーが提案するアイデアそれぞれに対して、3つの選択肢のいずれかで答えます。yes、no、maybeです。

Approvalという判別共用体を定義して、これらの選択肢を次の3つのケースで表しましょう。Yes、No、Maybeです。

2. 料理を定義する

パートナーは候補のレストランを2つ選びました。1つは韓国料理、もう1つはトルコ料理です。

Cuisineという判別共用体を定義して、これらの料理を次の2つのケースで表しましょう。KoreanとTurkishです。

3. 映画のジャンルを定義する

選べる映画は山ほどあるので、候補を絞るために、パートナーはジャンルも挙げてくれています。

Genreという判別共用体を定義して、次のジャンルをケースとして表しましょう。Crime、Horror、Romance、Thrillerです。

4. アクティビティを定義する

すでに触れたとおり、パートナーは5つのアクティビティを考えました。ボードゲームで遊ぶ、のんびり過ごす、映画を観る、レストランに行く、散歩するです。

Activityという判別共用体を定義して、これらのアクティビティの種類を表しましょう。

• BoardGame: 関連するデータはありません。
• Chill: 関連するデータはありません。
• Movie: Genreを関連するデータとして持ちます。
• Restaurant: Cuisineを関連するデータとして持ちます。
• Walk: 歩く距離をキロメートルで表すintを関連するデータとして持ちます。

5. アクティビティを評価する

いよいよ、パートナーのアイデアを評価する準備ができました。パートナーのアイデアに対する気持ちは次のとおりです。

• ボードゲームで遊ぶ: no。
• のんびり過ごす: no。
• 映画を観る: ロマンス映画なら yes、そうでなければ no。
• レストランに行く: 韓国料理なら yes、トルコ料理なら maybe。
• 散歩する: 3キロメートル未満なら yes、5キロメートル未満なら maybe、それ以外は no。

Activityの値を受け取って、上記の気持ちに基づいてApprovalを返す、rateActivityという名前の関数を実装しましょう。

rateActivity (Restaurant Turkish)
// => Maybe