函数式编程中的基本概念

函数签名

假设有一个函数 f，输入一个 int 值，返回一个 string 值，在 C# 中，该函数能够表示为：

Func<int, string>

咱们能够使用箭头（→）符号来表示：

f : int → string

箭头符号是函数式编程社区的标准函数符号，与语言无关。

当没有输入或没有输出(void)时，用 () 表示。若是有多个输入或输出，则用元组表示。

例如：

Func<string>
Func<int, int, int>

分别表示为：

() → string
(int, int) → int

对于高阶函数，能够嵌套表示。

例如 IEnumerable.Where 的签名：

Func<IEnumerable<T>, Func<T, bool>, IEnumerable<T>>

// IEnumerable<T> Where<T>(this IEnumerable<T> source, Func<T, bool> predicate);

能够表示为：

(IEnumerable<T>, (T → bool)) → IEnumerable<T>

函数的纯洁性

纯函数 是指没有任何反作用的函数，除了根据输入值计算输出值以外，什么也不作。而不纯函数则可能致使反作用。

反作用包括：

• 使全局状态改变：这里的“全局”是指函数做用域以外。
• 改变其输入参数
• 抛出异常
• 执行任何 I/O 操做

纯函数拥有许多的好处：

• 并行化：因为输出值仅依赖于输入值，因此能够并行执行任务。
• 惰性求值
• 记忆化：缓存函数结果，以便只计算一次。

诚实的函数

诚实的函数始终履行本身的签名。

例如以下函数，就是一个诚实的函数：

public int Square(int n) => n * n;

而以下函数则是不诚实的：

public int Square(int n)
{
    if (n < 0) throw new ArgumentException();

    return n * n;
}

由于它可能返回一个 int 值，还可能抛出异常。

---

参考：《C# 函数式编程》 Enrico Buonanno 著