12.4 可选工作流(alternative workflows)

728 篇文章 1 订阅
16 篇文章 0 订阅

12.4 可选工作流(alternative workflows)

 

    计算表达式(Computation expressions)是一种 F# 功能,部分灵感是来自 Haskell 的单子(monads)。单子有个不好的名声,对于脑 bustingly 有困难的人来说,但是,也不用担心。我们将看一下如何实现一套有趣的技术,可以在 C# 中很好地处理 Option<T> 值。还将看到如何在 F# 中做类似的事情,如何用优美的 F# 语法来写一个简单日志记录器。

    我们甚至可以不用提到单子,就能完成这一切。本书是在更普遍的意义上来讲述关于函数编程的,我们想要给你介绍更多 F# 的功能。我们偶尔会介绍一些基础术语,这对于你想了解其他编程语言可能有所帮助。你总是可以跳过这些听起来很复杂的部分,直接进入下一个示例。你可能会惊讶地发现,我们以前已经解释过这一章中的单子。事实上,你甚至在拿起这本书之前,就可能使用过它们:LINQ 是也基于单子的。

    在第 6.7 节,我们讨论过选项值的绑定函数,学习过类似的运算符,对于列表同样有意义。在 F# 库中其标准的名字是 List.collect,所以,当你听到 Seq.collect 也是绑定运算符的一种形式时,一定不会感到诧异,只是这次是处理序列而已。在本章中,我们已经看到过,这个操作在 LINQ 查询和 F# 序列表达式中都很重要。另外,在这里有三种操作的类型签名:

 

Option.bind : ('a -> option<'b>) -> option<'a> -> option<'b>
List.collect : ('a -> list<'b>) -> list<'a> -> list<'b>
Seq.collect : ('a -> #seq<'b>) -> seq<'a> -> seq<'b>

 

    作为参数值提供的函数,指定了包含在第二个参数值中的每个值需要处理的(类型 ‘a)。对于列表和序列,表示输入序列的每个元素都会调用这个函数。对于选项值,这个函数最多执行一次,只在第二个参数值是 Some 值时。提醒一下:可以把选项值看关是,有零或一个元素的列表。

    你可能已经知道,可以创建自定义的 LINQ 查询运算符的实现,并使用它们来处理我们自己的集合类型。对于只使用查询语法来处理集合,没有任何限制。

 

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值