2.4.4 编译时检查程序
使用编译时类型化(using compile-time typing)的最大好处是能防止许多常见的错误,而且编译的代码运行更有效。在函数语言中,还有其他一些好处。最重要的是,类型能够指定定函数彼此之间如何组合。类型不仅能帮助写出正确的代码,而且提供了有价值的信息:
■为开发人员来说,这是文档的一部分
■对于 IDE 来说,在写代码时能够为输入提供有用的提示
函数语言中的类型能够提供的有用信息,要比在命令式语言,例如C# 中更多,因为函数式代码更多地使用泛型。事实上,大部分的高阶函数都是泛型。我们已经看到,因为有了类型推断,通常类型可以不必输入(nonintrusive),因此,编程时根本不需要考虑。
在下一节,我们将通过一个示例,很好地演示了类型和 F# 编译时检查程序的目的,即,尽可能早地保让代码的正确,以及在写代码时提供有用的提示。