50、F 高级编程：工作流与计算表达式深度解析

F# 高级编程：工作流与计算表达式深度解析

1. 计算表达式基础

计算表达式提供了一种类似表达式的语法来构建 Attempt 计算。例如以下代码：

let sumIfBothSmall (inp1, inp2) = 
    attempt { let! n1 = failIfBig inp1
              let! n2 = failIfBig inp2
              let sum = n1 + n2
              return sum}

计算表达式允许我们：
- 使用类似表达式的语法构建 Attempt 计算。
- 使用 let! 构造将这些计算按顺序组合。
- 使用 return 和 return! 从这些计算中返回结果。
- 使用 let 计算中间结果。

2. 工作流构建器的定义

以下是 Attempt 工作流构建器的简单定义：

let succeed x = (fun () -> Some(x))
let fail = (fun () -> None)
let runAttempt (a : Attempt<'T>) = a()
let bind p re