3.4.2 参数化函数的好处

3.4.2 参数化函数的好处

 

    让我们看一个另外的示例，为了另一个目的而使用此函数——乍一看起来，与加或乘列表中的元素的诗篇同。让我们看看，是否能算出最大值：

 

> aggregateList max (-1) [ 4; 1; 5; 2; 8; 3 ];;
val it : int = 8

 

    这个函数的第一个参数值（max），是内置的 F# 函数，从给定的两个数的参数值中返回较大的。我们用 –1 作为初始值，因为，我们希望该列表仅包含正数。该程序第一次比较 3 和 – 1，并返回这两个中较大的。在下一次迭代中，它取的当前值（前一次比较的结果，是 3），与 8 比较，返回较大的。在下一步中，8 与 2 比较，然后是 5…等等。同样，你可能会很容易地找出列表中的最小元素，使用 min 作为第一个参数值，用一个大数（例如，Int32.MaxValue）作为第二个参数。

    事实上，该函数变得更加有用，通过允许调用者在聚合过程中使用整数以外（的类型）。你可以看到，aggregateList 函数体并没有在任何地方声明聚合的值应该是整数；唯一指定的位置是在 op 参数的类型批注中。它指定该函数返回一个整数，所以，F# 知道这个聚合值将是一个整数，因此，我们只需要删除类型批注，就可以使代码更通用。F# 语言的这个强大功能，被称为自动范型化（automatic generalization），我们将在第 6 章中学习如何使用。