拿 C# 搞函数式编程


最近闲下来了,准备出一个 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(1, 2); // returns 3

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

function 1 2

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

function(1)(2);

我们看一下这个调用形式,不就是 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(1)(2); // 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(3);

var mcdHappyWater = happyWater(9);

超市可能有折扣,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(1); // A 超市
var priceCalcB = cocaPriceCalc(0.8f); // B 超市

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

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

最后得到 total = 23 元。

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

贴上完整代码示例:

640?wx_fmt=png

原文链接:https://www.cnblogs.com/hez2010/p/11487006.html


.NET社区新闻,深度好文,欢迎访问公众号文章汇总 http://www.csharpkit.com 

640?wx_fmt=jpeg


本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.mzph.cn/news/313906.shtml

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

P3250 [HNOI2016]网络(利用堆建线段树 + 树剖)

P3250 [HNOI2016]网络 做法有点神奇&#xff01;&#xff01;&#xff01;利用堆作为节点建立一颗线段树&#xff0c;用堆维护线段树上点的信息。 说说查询操作&#xff0c;我们的目的是要查询&#xff0c;没有经过这个点的事件最大值&#xff0c;考虑如何维护。 我们定义线…

CNCF发布K8s项目历程报告,35k贡献者有你吗?

云原生计算基金会 CNCF 首次发布了 Kubernetes 项目历程报告。Kubernetes 托管于 CNCF&#xff0c;它是目前使用最广泛的容器编排平台&#xff0c;通常被称为“云端 Linux”&#xff0c;CNCF 介绍此报告旨在客观地评估 Kubernetes 项目的状态以及 CNCF 如何影响 Kubernetes 的发…

NUMTRYE - Number Theory (Easy)

NUMTRYE - Number Theory (Easy) Hard 版本就是用 pollard_rho 分解质因子。 f(n)∏(pi2ei11)f(n) \prod(p_i ^{2e_i 1} 1)f(n)∏(pi2ei​1​1)&#xff0c;g(n)∑i1nngcd⁡(n,i)g(n) \sum\limits_{i 1} ^{n} \frac{n}{\gcd(n, i)}g(n)i1∑n​gcd(n,i)n​&#xff0c;pip…

API 和 SPI

简介&#xff1a; API&#xff1a;Application Programming Interface应用程序接口 SPI&#xff1a;Service Provider Interface服务商提供接口 JDK中有描述&#xff0c; the API is the description of classes/interfaces/methods/… that you call and use to achieve a go…

编程语言这一年

最近开源中国&#xff08;OSCHINA&#xff09;在庆祝 11 周年生日&#xff0c;编辑部借着这个机会梳理了一下这一年来我们追过的那些开源界/开发界的热点新闻&#xff0c;算作一个阶段性小结。&#xff08;其实只有 9 个月&#xff5e;&#xff09;开源中国是目前国内为数不多深…

(CCPC 2020 网络选拔赛)HDU 6900 Residual Polynomial(分治 + NTT)

Residual Polynomial 写出所有的fi(x)f_i(x)fi​(x)出来&#xff0c;fi,jf_{i, j}fi,j​表示fi(x)f_i(x)fi​(x)的第jjj项系数 {f1,0f1,1f1,2…f1,n−1f1,nf2,0f2,1f2,2…f2,n−1f2,nf3,0f3,1f3,2…f3,n−1f3,n⋮⋮⋮⋱⋮⋮fn−1,0fn−1,1fn−1,2…fn−1,n−1fn−1,nfn,0fn,1f…

使用Elastic APM监控你的.NET Core应用

前言在应用实际的运维过程中&#xff0c;我们需要更多的日志和监控来让我们对自己的应用程序的运行状况有一个全方位的了解。然而对于大部分开发者而言&#xff0c;平时大家所关注的更多的是如何更优雅的实现业务&#xff0c;或者是如何让应用的响应速度更快等等与编码相关的技…

HDU 6755 Fibonacci Sum(二次剩余 + 二项式展开)

Fibonacci Sum 斐波那契通项有an15((152)n−(1−52)n)(15)k∑i0n((152)ic−(1−52)ic)kA152,B1−52(15)k∑i0n∑j0k(−1)k−jCkjAicjBic(k−j)(15)k∑j0k(−1)k−jCkj(∑i0nAcjiBc(k−j)i)斐波那契通项有a_n \frac{1}{\sqrt 5}\left((\frac{1 \sqrt 5}{2}) ^ n - (\frac{1 - …

Java 8 新的时间处理API

一&#xff1a;时间日期API的演进&#xff0c;及存在的问题 JDK 1.0 时期&#xff1a; 对于日期和时间的支持只能依赖于java.util.Date类。它的最小精度是毫秒起始年份为1900年&#xff0c;起始月份为0。20180822表示为new Date (118,7,22)返回值使用JVM默认时区&#xff1a;…

ASP.NET Core结合Nacos来完成配置管理和服务发现

前言今年4月份的时候&#xff0c;和平台组的同事一起调研了一下Nacos&#xff0c;也就在那个时候写了.net core版本的非官方版的SDK。虽然公司内部由于某些原因最后没有真正的用起来&#xff0c;但很多人还是挺看好的。在和镇汐大大沟通后&#xff0c;决定写一篇博客简单介绍一…

2020 ICPC 济南 F. Gcd Product

Gcd Product Cm∑i1mAgcd⁡(i,m)Bgcd⁡(k1−i,m)∑d1∣mAd1∑d2∣mBd2∑i1m([gcd⁡(id1,md1)1][d1∣i])([gcd⁡(m1−id2,md2)1][d2∣m1−i])∑d1∣mAd1∑d2∣mBd2∑k1∣md1μ(k1)∑k2∣md2μ(k2)∑i1m([d1∣i][k1∣id1])([d2∣m1−i][k2∣m1−id2])T1d1k1,T2d2k2∑T1∣m∑d1∣T…

Java 时间处理

时区、冬令时和夏令时、时间戳 时间戳 距离一个标准参照时间经过的秒数&#xff08;毫秒数&#xff09; 有两个常用参照时间&#xff1a; 1970-01-01 00:00:00 应用最广泛的时间戳参照点2001-01-01 00:00:00 常被苹果系统使用 注意&#xff1a;以上时间节点皆采用UTC的标准时…

试试这个Excel知识测验,得分超过80分算你赢

大家可能都知道&#xff0c;全世界使用Excel的用户超过了10亿。Excel的知识真所谓是博大精深&#xff0c;并且还很有趣味。我最近编写了一个Excel小工具&#xff0c;可以让大家可以在Excel里面进行各种知识小测验&#xff0c;并且与全世界的高手一比高低。这个小工具&#xff0…

SimpleDateFormat与线程安全

SimpleDateFormat不是线程安全的。 SimpleDateFormat(下面简称sdf)类内部有一个Calendar对象引用&#xff0c;它用来储存和这个sdf相关的日期信息&#xff0c;例如sdf.parse(dateStr)&#xff0c;sdf.format(date) 诸如此类的方法参数传入的日期相关String, Date等等&#xff…

几道偏序问题(数据结构)

P3157 [CQOI2011]动态逆序对 #include <bits/stdc.h>using namespace std;typedef long long ll;const int N 1e5 10;int root[N], ls[N << 8], rs[N << 8], sum[N << 8], cnt;int n, m, pos[N];inline int lowbit(int x) {return x & (-x); }v…

自学架构设计?帮你总结了 4 个方法

从编程思维到架构思维的升级&#xff0c;是工作 3、5 年的程序员遇到的第一个槛&#xff0c;特别是当你准备晋升考核时。我有个哥们&#xff0c;技术和业务都很不错&#xff0c;腾讯 T2.3 升 T3.1&#xff0c;就卡在了架构设计这部分。架构这个事儿&#xff0c;不像算法和代码&…

如何在东八区的计算机上获取美国时间

既可以用旧API&#xff08;JDK8之前&#xff09;&#xff0c;也可以使用新API。以下用旧API为例&#xff1a; 在Java语言中&#xff0c;可以通过java.util.Calendar类取得一个本地时间或者指定时区的时间实例&#xff0c;如下&#xff1a; // 取得本地时间&#xff1a; Calen…

Wannafly挑战赛24 无限手套(生成函数)

无限手套 每种宝石的生成函数为∑n≥0xn(ain2bin1)对其进行化简∑n≥0xn∑n≥0binxn∑n≥0ain2xn11−xbix(1−x)2aix(1x)(1−x)3最后答案∏i1m((ai−bi1)x2(aibi−2)x1)(1−x)3m每种宝石的生成函数为\sum_{n \geq 0} x ^ n(a_i n ^ 2 b_i n 1)\\ 对其进行化简\sum_{n \geq 0}…

.NET Core 3.0及ASP.NET Core 3.0 前瞻

前几天微软发布了 .NET Core 3.0 Preview 9 &#xff0c;这是.NET Core 3.0 最后一个预览版。[翻译] .NET Core 3.0 Preview 9 发布.NET Core 3.0 正式发布将在.NET Conf 上发布&#xff0c;.NET Conf 时间是9月23日至25日。Visual Studio 2019 16.3预览版3和Visual Studio for…

有了Unicode为啥还需要UTF-8

有了Unicode为啥还需要UTF-8 要回答这个问题&#xff0c;需要吃透“编码”的概念&#xff0c;刚好看到大神阮一峰写的文章&#xff1a;字符编码笔记&#xff1a;ASCII&#xff0c;Unicode 和 UTF-8 抄录如下&#xff0c;便于查找&#xff1a; 一、ASCII 码 我们知道&#xf…