13.2.2 从故障中恢复

13.2.2 从故障中恢复

世界银行服务对每个用户密钥每天请求数量有限制，还限制了请求的频率，因此，如果我们一次运行大量的请求，有可能会出错。解决的方法是捕获异常，稍后重试请求。
清单 13.7 实现的循环，重复执行请求，直到成功，或者尝试 20 次为止。使用异常报告失败，使用 F# 的 try … with 结构捕捉异常。

清单 13.7 重复运行 web 请求 (交互式 F#)

> let worldBankDownload(properties) =
     let url = worldBankUrl(properties)
     let rec loop(attempts) = async {    [1]
       try
         return! downloadUrl(url)       [2]
       with _ when attempts > 0 –>     [3]
         printfn "Failed, retrying (%d): %A" attempts properties
         do! Async.Sleep(500.0)
         return! loop(attempts - 1) }    [4]
     loop(20);;
val worldBankDownload : seq<string * string> -> Async<string>

> let props = ["countries"], ["region", "NA"];
val props : string list * (string * string) list

> Async.RunSynchronously(worldBankDownload(props))
Failed, retrying (20): [("countries"); ("region", "NA")]
val it : string = "<?xml version=\"1.0\" encoding=\"utf-8\" (...)"

这段代码使用了递归和异步循环函数[1]，尝试运行实际的下载[2]。如果下载失败，引发异常。当发生异常，且剩余的尝试次数不为零时[3]，会暂停工作流一段时间，然后重试下载[3]。
在函数语言中，创建循环通常使用递归函数，把剩余尝试的次数作为参数值，在每次循环时递减这个值。清单 13.7使用这种模式有点拧吧（twist）。函数 loop 使用异步工作流实现[1]，因此，需要创建递归的异步工作流。递归调用在异常处理程序中[4]，使用 return! 基本操作，运行异步循环的下一次迭代。工作流的主体尝试下载页面，它是放在 try … with 块中完成的，能够捕捉到异常。
F# 中的 try … with 块类似于 C# 中的 try … catch，但还有额外的功能，它能够使用模式匹配识别不同的异常，with 结构[3]]非常类似于我们熟悉的 match 表达式。在清单 13.7 中，能够简单地捕捉到所有异常，但添加了when 子句[2]后，就只捕获尝试次数少于 20 异常。值得注意的是，在异步工作流内部处理异常，与我们在正常的 F# 代码中处理异常方式是一样的。这要归功于另外的基本操作 TryWith 和 TryFinally，在后台（under the hood）提供了异步工作流的功能；这些基本操作告诉 F#，在异步操作期间，如何处理发生的异常。
在清单 13.7 的最后几行，可以看到如何使用函数从世界银行获取数据。注意，函数的 properties 参数是元组，包含函数和另外属性。我们没有显式使用元组，但编译器知道 theworldBankUrl 函数需要元组值。把计算机网络断开一会儿，模拟连接失败，可以看到，代码能够从故障中恢复过来。现在，我们已经有了可靠的下载数据的函数，下一步就是去下载需要的全部数据。