前言

今天和某个人聊天聊到了 C# 的 LINQ,发现我认识的 LINQ 似乎和大多数人认识的 LINQ 不太一样,怎么个不一样法呢?其实 LINQ 也可以用来搞函数式编程。

当然,并不是说写几个 lambda 和用用像 Java 那样的 stream 之类的就算叫做 LINQ 了,LINQ 其实是一个另外的一些东西。

LINQ

在 C# 中,相信大家都见过如下的 LINQ 写法:

IEnumerable<int> EvenNumberFilter(IEnumerable<int> list)
{
return from c in list where c & 1 == 0 select c;
}

以上代码借助 LINQ 的语法实现了对一个列表中的偶数的筛选。

LINQ 只是一个用于方便对集合进行操作的工具而已,如果我们如果想让我们自己的类型支持 LINQ 语法,那么我们需要让我们的类型实现 IEnumerable<T>,然后就可以这么用了。。。

哦,原来是这样的吗?那我全都懂了。。。。。。

???哦,我的老天,当然不是!

其实 LINQ 和 IEnumerable<T> 完全没有关系!LINQ 只是一组扩展方法而已,它主要由以下方法组成:

方法名称 方法说明
Where 数据筛选
Select/SelectMany 数据投影
Join/GroupJoin 数据联接
OrderBy/ThenBy/OrderByDescending/ThenByDescending 数据排序
GroupBy 数据分组
......

以上方法对应 LINQ 关键字:where, select, join, orderby, group...

在编译器编译 C# 代码时,会将 LINQ 语法转换为扩展方法调用的语法,例如:

from c in list where c > 5 select c;

会被编译成:

list.Where(c => c > 5).Select(c => c);

再例如:

from x1 in list1 join x2 in list2 on x1.k equals x2.k into g select g.u;

会被编译成:

list1.GroupJoin(list2, x1 => x1.k, x2 => x2.k, (x1, g) => g.u);

再例如:

from x in list orderby x.k1, x.k2, x.k3;

会被编译成:

list.OrderBy(x => x.k1).ThenBy(x => x.k2).ThenBy(x => x.k3);

再有:

from c in list1
from d in list2
select c + d;

会被编译成:

list1.SelectMany(c => list2, (c, d) => c + d);

停停停!

此外,编译器在编译的时候总是会先将 LINQ 语法翻译为方法调用后再编译,那么,只要有对应名字的方法,不就意味着可以用 LINQ 语法了(逃

那么你看这个 SelectMany 是不是。。。

SelectMany is Monad

哦我的上帝,你瞧瞧这个可怜的 SelectMany,这难道不是 Monad 需要的 bind 函数?

事情逐渐变得有趣了起来。

我们继承上一篇的精神,再写一次 Maybe<T>

Maybe<T>

首先,我们写一个抽象类 Maybe<T>

首先我们给它加一个 Select 方法用于选择 Maybe<T> 中的数据,如果是 T,那么返回一个 Just<T>,如果是 Nothing<T>,那么返回一个 Nothing<T>。相当于我们的 returns 函数:

public abstract class Maybe<T>
{
public abstract Maybe<U> Select<U>(Func<T, Maybe<U>> f);
}

然后我们实现我们的 JustNothing

public class Just<T> : Maybe<T>
{
private readonly T value;
public Just(T value) { this.value = value; } public override Maybe<U> Select<U>(Func<T, Maybe<U>> f) => f(value);
public override string ToString() => $"Just {value}";
} public class Nothing<T> : Maybe<T>
{
public override Maybe<U> Select<U>(Func<T, Maybe<U>> _) => new Nothing<U>();
public override string ToString() => "Nothing";
}

然后,我们给 Maybe 实现 bind —— 即给 Maybe 加上一个叫做 SelectMany 的方法。

public abstract class Maybe<T>
{
public abstract Maybe<U> Select<U>(Func<T, Maybe<U>> f); public Maybe<V> SelectMany<U, V>(Func<T, Maybe<U>> k, Func<T, U, V> s)
=> Select(x => k(x).Select(y => new Just<V>(s(x, y))));
}

至此,Maybe<T> 实现完了!什么,就这??那么怎么用呢?激动人心的时刻来了!

首先,我们创建几个 Maybe<int>

var x = new Just<int>(3);
var y = new Just<int>(7);
var z = new Nothing<int>();

然后我们分别利用 LINQ 计算 x + y, x + z

var u = from x0 in x from y0 in y select x0 + y0;
var v = from x0 in x from z0 in z select x0 + z0; Console.WriteLine(u);
Console.WriteLine(v);

输出结果:

Just 10
Nothing

完美!上面的 LINQ 被编译成了:

var u = x.SelectMany(_ => y, (x0, y0) => x0 + y0);
var v = x.SelectMany(_ => z, (x0, z0) => x0 + z0);

此时,函数 kint -> Maybe<int>,而函数 s(int, int) -> int,是一个加法函数。

函数 k 的参数我们并不关心,它用作一个 selector,我们只需要让它产生一个 Maybe<int>,然后利用函数 s 将两个 int 的值做加法运算,并把结果包装到一个 Just<int> 里面即可。

这个过程中,如果有任何一方产生了 Nothing,则后续运算结果永远都是 Nothing,因为 Nothing.Select(...) 还是 Nothing

一点扩展

我们再给这个 Maybe<T> 加一个 Where

public abstract class Maybe<T>
{
public abstract Maybe<U> Select<U>(Func<T, Maybe<U>> f); public Maybe<V> SelectMany<U, V>(Func<T, Maybe<U>> k, Func<T, U, V> s)
=> Select(x => k(x).Select(y => new Just<V>(s(x, y)))); public Maybe<U> Where(Func<Maybe<T>, bool> f) => f(this) ? this : new Nothing<T>();
}

然后我们就可以玩:

var just = from c in x where true select c;
var nothing = from c in x where false select c; Console.WriteLine(just);
Console.WriteLine(nothing);

当满足条件的时候返回 Just,否则返回 Nothing。上述代码将输出:

Just 3
Nothing

有内味了(逃

后记

该系列的后续文章将按揭编写,如果 C# 争气一点,把 Discriminated Unions、Higher Kinded Generics 和 Type Classes 特性加上了,我们再继续。

拿 C# 搞函数式编程 - 3的更多相关文章

  1. 拿 C# 搞函数式编程 - 1

    最近闲下来了,准备出一个 C# 搞 FP 的合集.本合集所有代码均以 C# 8 为示例. 可能你说,为什么要这么做呢?回答:为了好玩.另外,意义党们请 gun cu ke! C# 有委托,而且有 Fu ...

  2. 拿 C# 搞函数式编程 - 2

    前一阵子在写 CPU,导致一直没有什么时间去做其他的事情,现在好不容易做完闲下来了,我又可以水文章了哈哈哈哈哈.顺便成立了自己的专栏:hez2010 的编程日常,欢迎大家关注(逃 有关 FP 的类型部 ...

  3. Guava 是个风火轮之函数式编程(3)——表处理

    云栖社区> 博客列表> 正文 Guava 是个风火轮之函数式编程(3)--表处理 潘家邦 2016-01-26 13:19:21 浏览1062 评论0 java Guava 摘要: 早先学 ...

  4. (转) 站在C#和JS的角度细谈函数式编程与闭包

    1.函数式编程是什么? 摘自百度的说法是.函数式编程是种编程典范,它将电脑运算视为函数的计算.函数编程语言最重要的基础是 λ 演算(lambda calculus).而且λ演算的函数可以接受函数当作输 ...

  5. (转)现代C++函数式编程

    本文转自:http://geek.csdn.net/news/detail/96636     现代C++函数式编程 C++ 函数式编程 pipeline 开发经验 柯里化 阅读2127    作者简 ...

  6. Python修饰器的函数式编程

    Python的修饰器的英文名叫Decorator,当你看到这个英文名的时候,你可能会把其跟Design Pattern里的Decorator搞混了,其实这是完全不同的两个东西.虽然好像,他们要干的事都 ...

  7. 测试和恢复性的争论:面向对象vs.函数式编程

    Michael Feathers最近的博文在博客社区引发了一场异常激烈的论战.Feathers发表言论说一些面向对象编程语言的内嵌特性有助于测试的进行,并且使用面向对象编程语言编写的代码更容易恢复. ...

  8. boost 的函数式编程库 Phoenix入门学习

    这篇文章是我学习boost phoenix的总结. 序言 Phoenix是一个C++的函数式编程(function programming)库.Phoenix的函数式编程是构建在函数对象上的.因此,了 ...

  9. 函数式编程很难,这正是你要学习它的原因 | 外刊IT评论网

    函数式编程很难,这正是你要学习它的原因 | 外刊IT评论网 函数式编程很难,这正是你要学习它的原因 156 次分享 新浪微博 腾讯微博 Tweet 人人网 QQ空间 很奇怪不是,很少有人每天都使用函数 ...

随机推荐

  1. OpenStack入门

    云计算优势 降低成本,安全稳定,易扩展. 云计算三种服务模式 IaaS:基础设施即服务 IaaS(Infrastructure-as-a- Service):基础设施即服务.消费者通过Internet ...

  2. 漫谈国内外Android生态:华为发布的 HMS 服务,对 Mate30 系列无法搭载 Google GMS 的补偿有多大(原创)

    如果既用过iPhone,也用过国际版Android,还用过国内的安卓,(并且这三种都用了半年以上),就能体会到GMS多重要.可以说,iOS的体验大幅度领先于国内的安卓,一多半的原因是国内安卓没有GMS ...

  3. Spring AOP使用方式

    AOP:全称是Aspect Oriented Programming,面向切面编程 Spring AOP的作用和优势: 作用:在程序运行期间,不修改源码对已有方法进行增强 优势:减少重复代码:提高开发 ...

  4. 这么香的Chrome插件,你都安装了吗?

    工欲善其事必先利其器,今天长话短说,介绍13个敏捷.高效的Chrome插件 根据使用方式,本人将其划分为三大类: 开发者工具 日常效率工具类 浏览器管理类 开发者工具 1. Web Developer ...

  5. 7-45 jmu-python-涨工资 (10 分)

    输入一组工资数据,写入列表.对于小于5000的工资,涨1.5倍.并输出涨后的工资数据. 输入格式: 数据之间空格隔开 输出格式: 涨工资后的数据,空格隔开.尾部 不带空格. 输入样例: 3000 40 ...

  6. SpringBoot 全局异常处理 @RestControllerAdvice +@ExceptionHandler 请求参数校验

    ControllerAdvice 指示带注释的类辅助“控制器”. 作为的特殊化@Component,允许通过类路径扫描自动检测实现类. 通常用于定义@ExceptionHandler, @InitBi ...

  7. Linq的整型或实体类null引发的报错问题

    经常在程序中遇到两个空值报错问题: 问题1:int类型如果为不可空,假如传进去null,会报错 问题2:EF的获得单个实体的Model如果为空,那么后面如果跟上属性会报错 解决问题1: 一般属性都设为 ...

  8. python——字符串截取

    str = ‘0123456789’ print str[0:3] #截取第一位到第三位的字符 print str[:] #截取字符串的全部字符 print str[6:] #截取第七个字符到结尾 p ...

  9. .NET微服务从0到1:服务注册与发现(Consul)

    目录 Consul搭建 基于Docker搭建Consul 基于Windows搭建Consul ServiceA集成Consul做服务注册 Ocelot集成Consul做服务发现 更多参考 Consul ...

  10. vue 项目总结,以及对未来的理解,对性能方面的认知

    之前自己写了一个vue项目,因为没有经验,所以很多方面的提升做的不好,比如说路由.比如说ajax都没有封装,比如说业务逻辑和通用逻辑都混合在一起,导致大片大片重复的代码累积.忽悠忽悠没入门的前端感觉还 ...