6.1.1 F# 中的泛型函数

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# 库中特别有用的运算符。