2.4 函数式类型和值

2.4 函数式类型和值

 

C# 语言是静态类型编程语言[1]，每个表达式在编译时就已有类型了。编译器用静态类型来验证，程序运行时，使用的值类型保持一致的方式。例如，它可以保证程序不会尝试把日期时间类型与整数加在一起，因为 + 运算符不能用于这两种类型。

在 C# 中，大部分时间必须显式指定类型。写方法时，必须指定参数类型和返回类型。在 F# 中，我们通常不写任何类型，但 F# 仍然是静态类型语言。在 F# 中，每个表达式也有类型，F# 使用一种称为“类型推断（type inference）”的机制，在编译时能自动推断出类型。函数语言中的静态类型，例如 F#，其保障程度甚至超过 C#。在第五章将看到一个示例，通过选项（option）类型能够避免使用未初始化的引用。

 

函数编程中的类型

 

因为函数语言把任何一段代码都视为表达式，每个表达式有类型，这是一种非常强的语句。就是说，任何语法正确的一段 F# 代码，都有某种类型，该类型表示我们在计算表达式后得到的结果是什么类型，因此类型为我们提供了有关表达式的有价值信息。

类型可被视为组合基元（primitives）的语法规则。在函数语言中，函数（如前面示例中的 square 函数）都有类型，这个类型指定函数如何使用，我们可以用一个整数作为参数值去调用这个函数，得到一个整数的结果。

更重要的是，类型还指定了如何用高阶函数进行函数组合。例如，我们不能把 square 作为 List.filter 的参数值，因为筛选期望函数返回布尔值，而不是整数。这正是我们所说的语法规则的意思，即，类型验证能保证以有意义的方式使用函数。

 

在第五章，我们主要讨论值和类型，在第六章，还将学习高阶函数的类型如何帮助写出正确的代码，还会看到，类型信息通常可以提供有关函数功能的线索。在下一节，我们将看到，这种机制能够不必显式写出使用的类型。

 

__________

[1] C# 4.0 增加了一些对动态语言功能的支持，但即使有了这些功能，C# 仍然主要是静态类型语言。