- let addWithThreeParameters x y z = x + y + z
- let intermediateFn1 = addWithThreeParameters 1
给定一个接受三个参数的函数
addWithThreeParameters
, 我们通过
let intermediateFn1 = addWithThreeParameters 1
这样的方式创建出了一个新的函数 intermediateFn1, 其函数签名为:
int -> int -> int
上面是 F# 用来描述函数签名的方式, 它表示函数接受两个 int 类型的参数, 返回类型为 int 类型.
类似地:
(int -> int) -> int
表示参数为 (int -> int) 类型的函数, 返回类型为 int; 而 (int -> int) 又是一个函数, 表示接受一个 int 类型的参数, 返回类型仍然为 int.
对于 F# 而言, 函数本身需要接受三个参数, 但是我们调用的时候只给一个参数, 从而创建出接受两个参数的新函数, 这种方式被称作是 Partial application. 也就是说我们通过 Partial application 的方式完成了 Currying.
Partial application 是常用的函数式编程风格, 对于初学者而言也很重要. 我们在 Currying 一节介绍过 Curring 的目的是为了生成一个只接受一个参数的新函数, 从而可以将两个函数粘结在一起.
那么 Partial application 就是 F# 完成 Curring 的一种手段.
还记得 C# 版本的 Currying 吗? 我们是通纯手工方式创建了新的 Currying 函数.
- public Func<int, int> AddWithTwoParameters(int x)
- {
- Func<int, int> subFunction = y => x + y;
- return subFunction;
- }
在 C# 里面函数式没法通过只传递一个参数的方式来生成一个新的函数, 在 C# 中声明一个三个参数的函数, 调用的时候只传入一个参数会编译出错, 这是众所周知的.
当然, 非要用 C# 演示 Partial application, 我们可以用一种不自然的方式来做到:
- public static Func<T2, T3, TR> Apply<T1, T2, T3, TR>
- (Func<T1, T2, T3, TR> function, T1 arg1)
- {
- return (arg2, arg3) => function(arg1, arg2, arg3);
- }
- // 调用
- Func<int, int, int> add = (a, b) => a + b;
- var add5 = Apply(add, 5);
- var add51 = add5(1);
- F# 是这样做的:
- let add5 = (+) 5 // partial application
- let add51= add5 1
如果说 Partial application 还可以用 C# 来勉强实现, 后面描述的函数式特性几乎不会出现在 OO 风格的代码里, 所以后面的章节大都会以 F# 来演示.
Partial application 之所以在函数式编程中占有很重要的地位, 他不仅仅能够完成 Curring 变换, 还可以将函数变成一个可重用的组件, 考虑下面的代码:
[1;2;3] |> List.map add51
我们将 add51 这个新函数应用到了 [1;2;3] 这个 list 中的每个元素中.
下面的这个例子更复杂一些, 用来演示通过 Partial application 来完成 OO 范式中的
Dependency Injection
功能.
创建一个函数 (add) 用来把两个数字加起来 , 除此之外, 还要将运算过程记录成 log
Logging 函数是一个接受两个参数的函数, 分别为 string 和一个泛类型 `a, 返回类型为 unit, 所以 logging 函数的签名为 string->'a->unit
Logging 函数有多种不同类型的实现, 例如 console logger,file logger
你可以认为 logging 函数是拥有一个契约 (string->'a->unit) 的接口, 对应的实现可以有多个
如何把具体的 logger 注入到 add 函数中?
- // 创建一个调用 add 函数, 并且可以注入 logger 实现的函数
- let addWithPluggableLogger logger x y =
- let result = x + y
- logger "x+y" result
- result
- // 创建一个 consoleLogger
- let consoleLogger argName argValue =
- printfn "%s=%A" argName argValue
- // 把 addWithConsoleLogger 做 partial 应用, 把 consoleLogger 应用在上面, 同时创建出一个具有添加 log 能力
- // 的 add 函数, 他的函数签名为 `int -> int -> int`, 跟普通的 add 函数式一致的,
- // 但是此刻他拥有了添加 log 的能力:
- let addWithConsoleLogger = addWithPluggableLogger consoleLogger
- addWithConsoleLogger 1 2
- addWithConsoleLogger 42 99
也许你已经看出来函数参数的顺序决定能否 Partial application, 因为在做 Partial 应用的时候总是按照参数从左到右的顺序执行的, 你无法把一个参数应用在函数的最后一个位置.
下节将会描述如何设计函数让其能够支持 Partial application, 以及 F# 中的管道符 |>的用法. 想学习函数式编程的同学可以持续关注.
来源: https://www.cnblogs.com/xiandnc/p/9291920.html