functional-programming - 给定几个选项 <'a> values, is there a well-known pattern for chaining several ' a -> 'b -> ' b 函数？

Question

我有一系列功能'arg -> 'entity -> 'entity更新一个不可变的实体。

我有一系列对应的'arg option参数 如果参数是 Some ，我应该调用相应的更新函数。

我目前是这样实现的:

// General utility function
// ('a -> 'b -> 'b) -> 'a option -> 'b -> 'b
let ifSome f argOpt entity =
  match argOpt with
  | Some arg -> f arg entity
  | None -> entity


// Function that accepts several option parameters
// (callbackUrl and authHeader are wrapped in option)
let updateWebhook callbackUrl authHeader webhook =
   webhook
   |> ifSome Webhook.setCallbackUrl callbackUrl
   |> ifSome Webhook.setAuthHeader authHeader

我喜欢它的简单性，但就像我自己开发的函数式解决方案的情况一样(特别是当通用函数比我想出的参数名称所建议的更通用时)，我觉得这只是一个特例一个更通用的功能概念 - 我可以使用一些现有的抽象来执行相同的任务。因此我想知道:

这是公认的功能模式吗？如果是这样，它有名字吗，我可以在某处阅读更多关于它的信息吗？

如果没有，是否有(希望类似的简单)替代方案可以使用“众所周知的”功能抽象/模式完成相同的任务？

Answer 1

这只是 Option.fold (或更准确地说，在这种情况下 Option.foldBack )。褶皱通常被称为变形现象。

let updateWebhook callbackUrl authHeader webhook =
   webhook
   |> Option.foldBack Webhook.setCallbackUrl callbackUrl
   |> Option.foldBack Webhook.setAuthHeader authHeader