由于在现代编程语言中这个无所不在的概念,许多程序猿可能倾向于相信null值是一个必须存在的瑕疵,创建一个没有它的编程语言是不可能的.他们可能会惊奇那些许多没有null值活的也很好的语言,这带来的结果就是,null绝不是编程语言中的必要组成部分!

比如说函数型的编程语言Haskell就没有null值.作为替代,它使用一个称为Maybe的数据类型去表示未知值.Haskell的Maybe类型是一个代数数据类型(algebraic data type).它拥有2个变体,Nothing和Just.

Nothing的行为和其他语言中的null很相似(除了继承的问题),而Just则表示一个存在的值!

在Haskell中,变量可能有一个未知的值,是Maybe类型.因此,这个可能是一个整数或者可能是”null”的变量,并不是一个Int,却是一个Maybe Int类型.该变量可能有一个Nothing值,或者也可能是一个Just 10的值.

第一眼看上去,它可能并不比一个简单的空值nil要好到哪去.但别忘了,因为Haskell健壮的类型系统,编译器在null值使用不正确的情况下可以发出警告和错误通知.举个例子,如果你写了一个带有一个Maybe Int参数的函数,但是并没有处理参数的值为Nothing的情况,编译器将告知你这个错误.类似的,如果你写了一个带有一个Int参数的函数,并且你传递一个Maybe Int,编译器将发出一个错误.Haskell能够使用强大的语言类型系统和编译器来防止那些可能直到运行时才会出现的错误.