今天托尼霍尔先生离开了我们。很多程序员是因为快排算法、Go语言的CSP进程演算理论，以及用于程序验证的公理语义，霍尔逻辑，了解霍尔先生的。

但是今天我想让大家知道关于霍尔先生的几件鲜为人知的事情。

第一，霍尔先生的第一个学位专业，是牛津默顿学院的古典学与哲学，是妥妥的文科生。1956年。

第二，他毕业后加入了皇家海军，在船上的无聊时光里，自学了俄语。

第三，之后他回到了牛津学习统计学，并在这个时期接触了编程。

第四，在统计学在读期间他获得了一次去俄国学习的机会，师从——世上唯一能和希尔伯特/庞加莱平起平坐的人——俄罗斯数学家柯尔莫格洛夫。这是1959年。

第五，回到英国后他成为初代职业程序员，因成功领导和出色完成了Elliott公司的Algol 60编译器项目，荣升首席工程师，1963年。

第六，随后他领导了Elliott的操作系统项目，项目惨败，公司因为这个项目几乎倒闭。最后老板跟他说，你必须再搞一次，我们没有别的办法了。老板从IBM找来了一个神秘高人，此人很可能参与过1964年发布的System/360。这个人对霍尔说：知道你们为什么失败吗？「你在让你的人做他们不懂的事。」

第七，是这次惨败让霍尔走上了形式化之路，从程序员转变为科学家。并因此给世人带来了可以无脑并发的CSP模型，以及可以验证（顺序执行）程序正确性的霍尔逻辑。

第八，霍尔在1980年图灵奖获奖演说中告诉世上的程序员：「有两种构建软件的方式，一种是简单到明显没有缺陷；另一种是复杂到没有明显缺陷。前者要难得多。」

第九，1959年霍尔做程序员的时候老板让他写一段实现希尔排序的代码，他思考了几天后跟老板说我有一个更快的办法，老板说我赌六便士这不可能，如果它真的更快一定有科学家已经发现过。

霍尔赢了，他是第一个发明快排的人，因为他就是科学家啊。

++++

不要觉得文科生不能成为出色的程序员，也不要觉得程序员不能做一流的科学家。只要你还有热爱和使命，一切皆有可能。

++++

文中寇特的两句话都是我一生的座右铭。

另，四哥离开微博很久了。他是霍尔的徒孙。谁知道四哥的可以把这个帖子截图发给他。@韦字只念第二声