最近闲下来了,准备出一个 C# 搞 FP 的合集。本合集所有代码均以 C# 8 为示例。

可能你说,为什么要这么做呢?回答:为了好玩。另外,意义党们请 gun cu ke!

C# 有委托,而且有 Func<> 和 Action<>,可以说函数被视为一等功名,跟 int、bool 等类型并没有什么区别。那么很多事情就简单了。

纯函数

什么是纯函数呢?纯函数就是 f(x),它们接收参数,得到结果,并且相同的参数得到的结果一定是相同的,用映射来说,它是满射的。另外这个函数不会改变任何的状态值,它是无副作用的。

柯里化

首先,有一个东西让我觉得不爽,那就是一般来说 C# 里的函数调用不是柯里化的,这也就意味着我没法一个一个传参数进去,也没法把传了一部分参数的调用作为一个新函数拿去给别的地方用,那要怎么办呢?

自己动手,丰衣足食!

一个标准的加法函数可以这么写:

var function = new Func<int, int, int>
((x, y) => x + y);
function(, ); // returns 3

如果我们想以柯里化形式调用的话,理想状态是这么个样子的:

function  

但是这个括号我们是省不了的,所以这样也是可以接受的:

function()();

我们看一下这个调用形式,不就是 Func<int, Func<int, int>> 嘛!so easy~

我们只需要把 Func<int, int, int> 转化为 Func<int, Func<int, int>>:

Func<int, Func<int, int>> Currying(Func<int, int, int> f)
=> x => y => f(x, y);

这样写就 ok 啦。进一步改造成扩展方法:

public static class CurryingExtensions
{
public static Func<int, Func<int, int>>
Currying(this Func<int, int, int> f)
=> x => y => f(x, y);
}

于是我们只需要:

var function = new Func<int, int, int>
((x, y) => x + y)
.Currying();
function()(); // returns 3

就可以采用柯里化形式调用该函数啦。

进一步我们用泛型改造,让柯里化适用于任何类型:

public static class CurryingExtensions
{
public static Func<T1, Func<T2, TOutput>>
Currying<T1, T2, TOutput>(this Func<T1, T2, TOuput> f)
=> x => y => f(x, y);
}

如果遇到更多参数,我们只需要给这个静态类里面再加一个扩展方法即可。

那 Action<> 呢?这个东西在我看来完全就是副作用,具体下方有讲,我们不用他(逃

Unit

什么是 Unit 呢?Unit 就是任何函数调用后如果没有结果,就会返回的一个东西。

可能你说,void 不就可以了?

但是如果一个纯函数,它没有返回值(即 Action<>),意味着这个函数它有输入没输出,那这个函数除了能用来产生副作用之外,就什么都干不了了。这不清真!

因此我们需要一个 Unit 来代替 void,偷个懒,这个 Unit 就用 ulong 来代替吧。

高阶函数

什么叫做高阶函数,把函数当作参数传给另一个函数,接收这个函数参数的函数就叫做高阶函数。

举个例子:f(g(x)),f 即高阶函数。

假设我们现在要开一个超市,超市有很多的产品,每种产品价格不同,不同产品可能还有各自的折扣。我们有很多种快乐水,每种快乐水价格不一样,可口快乐水 3.5 块,百事快乐水 3 块,麦当劳快乐水 9 块,快乐水价格计算函数:

var happyWater = new Func<float, int, float>
((float price, int number) => number * price)
.Currying();
// 调用:happyWater(快乐水单价)(快乐水件数); var cocaHappyWater = happyWater(3.5f);
var pepsiHappyWater = happyWater();
var mcdHappyWater = happyWater();

超市可能有折扣,A 超市不打折,B 超市打八折,计算价格函数:

var calcPrice = new Func<Func<int, float>, float, int, float>
((calc, discount, number) => discount * calc(number))
.Currying();
// 调用:calcPrice(快乐水价格计算函数)(超市折扣)(快乐水件数);

现在我们分别在 A 超市买百事快乐水、B 超市买可口快乐水,麦当劳的太贵了我们不买,价格计算函数为:

var pepsiPriceCalc = calcPrice(pepsiHappyWater);
var cocaPriceCalc = calcPrice(cocaHappyWater); var priceCalcA = pepsiPriceCalc(); // A 超市
var priceCalcB = cocaPriceCalc(0.8f); // B 超市

最后我们在 A 超市买了 3 瓶百事快乐水,B 超市买了 5 瓶可口快乐水,计算总价:

var priceA = priceCalcA();
var priceB = priceCalcB();
var total = priceA + priceB;

最后得到 total = 23 元。

可以看到这些函数都是可拆卸并且可以随意组合的,而且满足 f(g(x)) = g(f(x))。

贴上完整代码示例:

using System;

namespace ColaMarket
{
static class CurryingExtensions
{
public static Func<T1, Func<T2, TOutput>>
Currying<T1, T2, TOutput>(this Func<T1, T2, TOutput> f)
=> x => y => f(x, y); public static Func<T1, Func<T2, Func<T3, TOutput>>>
Currying<T1, T2, T3, TOutput>(this Func<T1, T2, T3, TOutput> f)
=> x => y => z => f(x, y, z);
} class Program
{
static void Main(string[] args)
{
var happyWater = new Func<float, int, float>
((float price, int number) => number * price)
.Currying(); var cocaHappyWater = happyWater(3.5f);
var pepsiHappyWater = happyWater();
var mcdHappyWater = happyWater(); var calcPrice = new Func<Func<int, float>, float, int, float>
((calc, discount, number) => discount * calc(number))
.Currying(); var pepsiPriceCalc = calcPrice(pepsiHappyWater);
var cocaPriceCalc = calcPrice(cocaHappyWater); var priceCalcA = pepsiPriceCalc();
var priceCalcB = cocaPriceCalc(0.8f); var priceA = priceCalcA();
var priceB = priceCalcB();
var total = priceA + priceB; Console.WriteLine(total);
}
}
}

下一篇将会讲更多的东西,如 Functor、Applicative 和 Monad 等等。

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

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

    前言 今天和某个人聊天聊到了 C# 的 LINQ,发现我认识的 LINQ 似乎和大多数人认识的 LINQ 不太一样,怎么个不一样法呢?其实 LINQ 也可以用来搞函数式编程. 当然,并不是说写几个 l ...

  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. Linux常用的命令及使用方法

    1.请用命令查出ifconfig命令程序的绝对路径 [root@localhost ~]# which ifconfig(ifconfig是linux中用于显示或配置网络设备(网络接口卡)的命令) / ...

  2. Linux基础文件打包

    一.打包与解压 (一).打包压缩 [root@linux ~]# tar -czf etc1.tar.gz /etc //-z 调用gzip [root@linux ~]# tar -cjf etc2 ...

  3. [NUnit]No results

    Results (nunit3) saved as TestResult.xmlCommitting...No results, this could be for a number of reaso ...

  4. HelloDjango 第 08 篇:开发博客文章详情页

    作者:HelloGitHub-追梦人物 文中涉及的示例代码,已同步更新到 HelloGitHub-Team 仓库 首页展示的是所有文章的列表,当用户看到感兴趣的文章时,他点击文章的标题或者继续阅读的按 ...

  5. 深入分析Java的编译期与运行期

    不知大家有没有思考过,当我们使用IDE写了一个Demo类,并执行main函数打印 hello world时都经历了哪些流程么? 想通过这篇文章来分析分析Java的执行流程,或者换句话说想聊聊Java的 ...

  6. DNS解析综合学习案例

    DNS解析综合学习案例 #图右侧为做题前环境配置 #命令为红色 #命令加载内容为绿色 #vi编辑内容为蓝色 1.用户需把/dev/myvg/mylv逻辑卷以支持磁盘配额的方式挂载到网页目录下 [roo ...

  7. 关于js-xlsx的使用

    写在前头,本人是名Java开发人员,偶尔在前端打打酱油,写出的代码或许存在问题,请路过的大神一一指正,不吝感激. 最近公司准备做一些关于Excel 数据导入和导出相关需求,之前有在开源社区看到说比起纯 ...

  8. 试试 python-dotenv,避免敏感信息被硬编码到代码中

    我们开发的每个系统都离不开配置信息,例如数据库密码.Redis密码.邮件配置.各种第三方配置信息,这些信息都非常敏感,一旦泄露出去后果非常严重,被泄露的原因一般是程序员将配置信息和代码混在一起导致的. ...

  9. scrapy学习(完全版)

    scrapy1.6中文文档 scrapy1.6中文文档 scrapy中文文档 Scrapy框架 下载页面 解析页面 并发 深度 安装 scrapy学习教程 如果安装了anconda,可以在anacon ...

  10. Unity进阶:行为树 02 夺旗战搭建场景,AI脚本,旗子拿起

    版权申明: 本文原创首发于以下网站: 博客园『优梦创客』的空间:https://www.cnblogs.com/raymondking123 优梦创客的官方博客:https://91make.top ...