C#函数式编程是用不可变性、纯函数等思想提升代码质量,LanguageExt库提供Option<T>、Either<L,R>等类型实现空值和错误的显式处理,推荐渐进式采用。

在 C# 中进行函数式编程,不是要完全抛弃面向对象,而是用不可变性、纯函数、高阶函数、代数数据类型等思想来提升代码的可读性、可测试性和健壮性。LanguageExt 是目前最成熟、被广泛采用的 C# 函数式编程库,它把 Haskell、F# 等语言中经过验证的模式带进了 .NET 生态。
核心理念:从“能改”到“不改”
函数式编程的第一步是拥抱不可变性。LanguageExt 提供了 ImmutableArray<T>、ImmutableList<T>、Map<K,V>、Set<T> 等结构,默认所有集合操作都返回新实例,原值不变。这避免了隐式副作用,让并发和调试更安心。
- 别用
List<T>.Add(),改用list.Add(item)(返回新列表) - 用
Option<T>替代 null,明确表达“可能没有值” - 用
Either<L,R>表达“成功或失败”,替代 try/catch 或 out 参数
Option:安全处理“空值”的标准方式
Option<T> 是 LanguageExt 最常用类型之一,代表“有值(Some)”或“无值(None)”,彻底消除 null 引用异常风险。
var user = GetUserById(123); // 返回 Option<User>
var name = user.Map(u => u.Name).IfNone("Anonymous"); // 安全取名
var email = user.Bind(u => u.Email).IfNone("no-email@example.com");
关键点:
-
Map对 Some 执行转换,对 None 保持不动 -
Bind(即 flatMap)用于链式调用多个可能失败的操作 -
IfNone提供默认值,比三元运算符 + null 检查更语义清晰
Either:把错误流显式纳入类型系统
Either<Error, Success> 让你把错误当作一等公民来处理。它不是简单包装异常,而是用类型告诉你“这个函数可能返回两种结果”。
public static Either<string, int> ParseInt(string s) =>
int.TryParse(s, out var i)
? i.AsRight()
: "Invalid number".AsLeft();
<p>var result = ParseInt("42").Match(
Left: err => Console.WriteLine($"Error: {err}"),
Right: val => Console.WriteLine($"Got: {val}")
);
好处:
- 编译期强制你处理两种分支,不会漏掉错误路径
- 可链式组合:
ParseInt(s).Bind(x => DivideBy(x, 0)) - 支持
Map、Bind、Swap、BiMap等丰富操作
使用建议与入门步骤
LanguageExt 功能丰富,但不必一步到位。推荐渐进式上手:
- 先安装 NuGet 包:
Install-Package LanguageExt.Core(基础)+LanguageExt.CodeGen(如需自动生成不可变 record) - 从
Option<T>和Either<L,R>开始,替换现有 null 和异常逻辑 - 用
Seq<T>替代IEnumerable<T>,获得更函数式的集合 API(如Filter、Map、Reduce) - 定义领域类型时,优先用
record class+[Record]属性生成不可变类型
基本上就这些 —— 不复杂,但容易忽略的是:函数式不是炫技,而是让“什么可能出错”“什么可能为空”在类型里一目了然。











