f# - 如何将可选值应用于 F# 中的可选函数

Question

在 F# 中，我有一个带有签名的可选函数 type func= (string-> string list) option。如何将签名 type param= string option 的可选字符串参数传递给 func 方法。

有没有办法不使用嵌套 if else 来做到这一点。

Answer 1

我没有立即注意到函数本身也包含在option 中.我将保留下面对误读问题的原始答案以供引用，但这里是实际问题的答案:

首先，您仍然必须决定在没有函数和/或没有字符串时要做什么(见下文)。一旦你做出决定，你就可以匹配元组:

let resultingList =
   match func, param with
   | Some f, Some p -> f p  // When both are present, apply
   | _ -> []                // Otherwise, return empty list

在这里，当其中一个或两个不存在时，我会折叠所有案例。但是如果您需要针对这些情况的不同行为，您可以显式枚举全部或部分行为:

let resultingList =
   match func, param with
   | Some f, Some p -> f p 
   | Some f, None -> f ""
   | None, Some _ -> [ "there was no function" ]
   | None, None -> [ "there was no string AND no function" ]

---

误读问题的原答案

类型string option意思是“这里可能有字符串，也可能没有”。所以要问自己的第一个问题是:没有字符串的时候你想做什么？我不能帮你决定这个，因为这取决于你更大的问题(即你最终想做什么)。

函数string -> string list需要 string并返回 string list .所以如果你有一个字符串，那么你会得到一个 string list .但是，如果您没有 string 怎么办？ ？您是否应该返回“无”(即“没有列表”，就像开头的“没有字符串”一样)？或者你应该得到一个空列表？还是应该获取一些预定义的值？

为了循序渐进，我们假设，当没有字符串时，你想要返回一个空列表。为此，请使用模式匹配:

let resultingList =
   match param with
   | Some s -> func s
   | None -> []

这个程序的字面意思是:“如果有一个字符串，调用该字符串 s 并对其应用 func；如果没有字符串，则返回一个空列表”。

同样的事情也适用于获取一些其他预定义列表而不是空列表:

let resultingList =
   match param with
   | Some s -> func s
   | None -> [ "oopsie, there was no string!" ]

但是如果您想要另一个选项 - “没有列表”选项 - 那么您的结果值将需要是 string list option , 就像你的输入是 string option . option类型有两个构造函数:Some创造存在的值(value)，和None表示“没有 spoon 值”。

let maybeResultingList =
   match param with
   | Some s -> Some (func s)
   | None -> None

字面意思是:“如果有一个字符串，将其命名为 s ，将 func 应用于它，并将结果包装为 Some ，这意味着“这里有一个列表”；和如果没有字符串，就返回 None ，意思是“没有列表”。

幸运的是，这种“将函数应用到值，除非它不存在”的操作非常普遍，以至于有一个标准库函数用于它。它叫做Option.map :

let maybeResultingList = Option.map func param

另一种有趣的观察方式是:首先我们通过 func至 Option.map并取回另一个函数，然后我们将该函数应用于 param :

let maybeFunc = Option.map func
let maybeResultingList = maybeFunc param

事实证明，这种看待问题的方式在实践中非常有用。令人尊敬的 Scott Wlaschin 有一个关于这个概念的非常棒的系列。在这里查看:https://fsharpforfunandprofit.com/posts/elevated-world/