6.1.1 写 F# 中的泛型函数

6.1.1 写 F# 中的泛型函数

 

    在第 5 章，我们看到了一个简单的泛型函数，它只使用单个参数值，是一个泛型选项类型。清单 6.1 显示 CondPrint 方法的 F# 实现，来自"在函数式编程和面向对象中的泛型代码"侧边栏。它有三个参数值：一个值、一个函数，用于 测试是否应打印这个值，还有一个函数，用于设置格式化这个值。

 

Listing 6.1 Generic function condPrint (F# Interactive)

> let condPrint value test format =
     if (test(value)) then printfn "%s" (format(value))
;;
val condPrint : 'a -> ('a -> bool) -> ('a -> string) �C> unit

> condPrint 10 (fun n -> n > 5)
                        (fun n -> "Number: " + n.ToString());;
Number: 10

 

    我们使用 let 绑定，声明了一个函数，有三个参数，不需要指定任何参数类型。这是因为 F# 类型推断也适合函数。稍后我们会看到它可以多么复杂。现在，我们可以说它自动推断了这个函数的类型签名，它对应于我们前面在 C# 中的泛型方法。

 

注意

 

    在第 4 章，我们讨论了传递多个输入给函数，哪一种更好，是作为单独的参数值（例如，add 2 3） ，还是元组（例如 add(2, 3)）。在写高阶函数时，我们将使用第一种样式，因为，这更容易使用 lambda 函数作为参数值。它还支持流运算符，我们很快就会介绍它，以及其他的函数技术，像偏函数应用。

 

    在 F# 中，表示泛型函数的另一种方法，是写自定义运算符。以后，我们会想要使用这些，现在，让我们简要地看一下，也介绍一下流运算符（pipelining operator），来自 F# 库的特别有用的运算符。