6.1.1 F# 中的泛型函数
在第五章,我们看过一个简单的泛型函数,它只有一个泛型选项类型的参数。清单 6.1 是用F# 实现CondPrint 方法的,来自"在函数式编程和面向对象中的泛型代码"侧边栏。它有三个参数值:一个值、一个函数,用于测试是否应打印这个值,还有一个函数,用于设置格式化这个值。
清单 6.1 泛型函数 condPrint (F# Interactive)
> let condPrint value test format = [1]
if(test(value)) then printfn "%s" (format(value))
;;
val condPrint : 'a -> ('a -> bool) ->('a -> string) –> unit [2]
> condPrint 10 (fun n -> n > 5)
(fun n -> "Number: " + n.ToString());;
Number: 10
我们使用 let 绑定声明的函数,有三个参数[1],不需要指定任何参数类型,这是因为 F# 类型推断也适合函数。稍后我们会看到这是很复杂的,但现在,我们可以说,它自动推断出函数的类型签名,与我们前面 C# 的泛型方法一致。
注意
在第四章,我们讨论了给函数传递多个输入,哪一种方法更好,是使用分开形式的参数(例如,add 2 3),还是元组形式(例如 add(2, 3))。在写高阶函数时,我们将使用第一种风格,因为,这样可以更容易使用 lambda 函数作为参数值;它还支持管道运算符(pipelining operator),我们很快就会介绍,这是另一项的函数技术,类似散函数应用。
在 F# 中,表示泛型函数的另一种方法,是写自定义运算符。后面我们会要使用,现在,简要地看一下,同时介绍管道运算符,这是 F# 库中特别有用的运算符。