2.4.4 编译时检查程序

2.4.4 编译时检查程序

 

使用编译时类型化（using compile-time typing）的最大好处是能防止许多常见的错误，而且编译的代码运行更有效。在函数语言中，还有其他一些好处。最重要的是，类型能够指定定函数彼此之间如何组合。类型不仅能帮助写出正确的代码，而且提供了有价值的信息：

■为开发人员来说，这是文档的一部分

■对于 IDE 来说，在写代码时能够为输入提供有用的提示

函数语言中的类型能够提供的有用信息，要比在命令式语言，例如C# 中更多，因为函数式代码更多地使用泛型。事实上，大部分的高阶函数都是泛型。我们已经看到，因为有了类型推断，通常类型可以不必输入（nonintrusive），因此，编程时根本不需要考虑。

在下一节，我们将通过一个示例，很好地演示了类型和 F# 编译时检查程序的目的，即，尽可能早地保让代码的正确，以及在写代码时提供有用的提示。