関数型ドメインモデリング勉強会 第8章 関数の理解

// 関数fn を受け取り、それを引数5 で呼び出し、その結果に2 を加えています。
let evalWith5ThenAdd2 fn = fn(5) + 2

// シグネチャ
// evalWith5ThenAdd2 : fn:(int -> int) -> int

let adderGenerator numberToAdd =
// ラムダを返す
fun x -> numberToAdd + x

// シグネチャ
// val adderGenerator : int -> (int -> int)

// 1を足す関数
let add1 = adderGenerator 1

// 2を足す関数
let add2 = adderGenerator 2

// 3を足す関数
let add3 = adderGenerator 3

// int -> int -> int
let add x y = x + y

// int -> (int -> int)
let adderGenerator x = fun y -> x + y

// sayGreeting: string -> string -> unit
let sayGreeting greeting name =
    printfn "%s %s" greeting name

// sayHello: string -> unit
let sayHello = sayGreeting "Hello"
// sayGoodbye: string -> unit
let sayGoodbye = sayGreeting "Goodbye"

// シグネチャ twelveDividedBy : int -> int はうそ。実際は例外が返ってくる。
let twelveDividedBy n =
    match n with
    | 6 -> 2
    ...
    | 0 -> failwith "Can't divide by zero"

/// 拡張された出力値を使う
let twelveDividedBy n =
    match n with
    | 6 -> Some 2 // 有効
    | 5 -> Some 2 // 有効
    | 4 -> Some 3 // 有効
    ...
    | 0 -> None // 未定義

let add1 x = x + 1 // int -> int 型の関数
let square x = x * x // int -> int 型の関数
let add1ThenSquare x =
    x |> add1 |> square

// 注文データ型の定義
type Order = { Id: int; Quantity: int; Price: float }

// 検証関数：注文の数量と価格が妥当か確認する
let validateOrder order =
    if order.Quantity > 0 && order.Price > 0.0 then
        Some order
    else
        None

// 支払い処理関数：支払いが成功したかどうかをシミュレーション
let processPayment order =
    if order.Price * float order.Quantity < 1000.0 then
        Some "Payment Successful"
    else
        None

let processOrder order =
    order
    |> validateOrder
    |> Option.bind (fun validOrder ->
        processPayment validOrder
        |> Option.map Some
        |> Option.defaultValue (Some "Payment Failed")
    )
    |> Option.defaultValue "Order Validation Failed"

// 使用例
let order1 = { Id = 1; Quantity = 3; Price = 100.0 }
let orderRes1 = processOrder order1  // "Payment Successful" が返されます

printfn "orderRes1 %s" orderRes1

let order2 = { Id = 1; Quantity = 3000; Price = 100.0 }
let orderRes2 = processOrder order2  // "Payment Failed" が返されます

printfn "orderRes2 %s" orderRes2

let order3 = { Id = 1; Quantity = 0; Price = 0.0 }
let orderRes3 = processOrder order3  // "Payment Order Validation Failed" が返されます

printfn "orderRes3 %s" orderRes3

// int を出力とする関数
let add1 x = x + 1

// Option<int>を入力とする関数
let printOption x =
    match x with
    | Some i -> printfn "The int is %i" i
    | None -> printfn "No value"

5 |> add1 |> Some |> printOption