编程语言为什么有null
色即是空，空即是色
色不异空，空不异色 ------ 《心经》
千百年来，常有人拿这句话调侃和尚看见女色不断默念此经，以达到两眼空空的境界，连《西游记》里的女儿国一集都有这个桥段，可这唐玄奘法师，哪能两眼空空呢？如果你血气方刚，那么坦率承认和表达袒露眼前人的美，是空；如果你参悟大道，如庄子一般感悟到，天地有大美而不言，人的美丑掺杂着主观判断，也是空。
回到计算机世界，开始悟"空"。
一、null是谁发明的？
用Java写业务代码时，如果时间匆忙，我经常忘记做null值的特例判断，这给我带来了不少的问题和麻烦，这令人又爱又恨的null值，究竟从何而来？
不像中文，中文的字词大多已经创造好，但英文这种表音文字，是有可能随时随地用字母造一个新词的。因此，null这个单词是否诞生于计算机发明之前？答案是肯定的。[1]
托尼·霍尔（Tony Hoare），编程世界中，null的创造者，也是快排算法（Quick Sort）的发明人，但身处历史洪流中的人物总有局限性，他在2009年的Qcon技术会议上，发表了一篇名为 NULL: The Billion Dollar Mistake 的演讲[2]
I call it my billion-dollar mistake...At that time, I was designing the first comprehensive type system for references in an object-oriented language. My goal was to ensure that all use of references should be absolutely safe, with checking performed automatically by the compiler.But I couldn't resist the temptation to put in a null reference, simply because it was so easy to implement. This has led to innumerable errors, vulnerabilities, and system crashes, which have probably caused a billion dollars of pain and damage in the last forty years.
-- Tony Hoare, inventor of ALGOL W.
不过，也有人说，null的概念并不是由霍尔博士发明的，也许在机器语言程序员将指针指向0时，编程世界里，这个概念就诞生了。
With all due respect to Dr Hoare, I call hubris. 😉 Machine-language programmers invented the null reference the first time they set a pointer to zero. -- Steven A. Lowe Nov 11, 2010 at 6:39
------ 来自StackOverflow的一条评论[3]
但也有编程语言是没有null这个概念的，如Haskell，这是门函数式编程语言，但我对函数式编程不懂。
Some programming languages (mostly functional programming languages like Haskell) don't support the concept of
null. Instead, they use the Maybe/Optional Pattern to represent the 'absence of a value'. The compiler ensures that the 'no value' case is handled explicitly. Hence, null pointer errors cannot occur.[4]
二、我所理解的null存在的意义
集合里，空集(empty set)并不等于数字0，但空集是一个重要的概念，计算机中的null，也可以此类比，死亡，是宇宙的尽头，null，是编程语言的尽头，这里空无一物，没有给你分配的内存，不要再往下走了。就目前为止，我只能从这个层面出发，去理解为什么有null。
0能够表达非数值概念的空无，无法表达数值的空无。
null能够表达一切范围的空无，却不能表达自己的空无。这个矛盾，源于自指。
References
2 Null References: The Billion Dollar Mistake
3 what is the purpose of null?
4 A quick and thorough guide to 'null': what it is, and how you should use it
5 If null is a billion dollar mistake, what is the solution to represent a non-initialized object?