大家好，我是执念斩长河。今天讲述的是1980年图灵奖获得者查尔斯·霍尔。图灵奖奖励他为程学设计语言的定义和设计、数据结构和算法做出强大的贡献。读完本篇博文大家可以收获的是：
- 快速排序的发明
- switch开关语句的发明
- 程学设计语言CSP
- 霍尔的著作
霍尔1934年1月11日生于英国南部。在凯特伯雷的国王学校上完中学后，进入牛津大学的莫顿学院学习数学，1960年取得硕士学位。不久后进入当地一家计算机生产厂为老板编写库子程序。根据希尔排序，分析了它的缺点而发明出来的快速排序，至今被我们所津津乐道。再后来为ALGOL写新版本时引入case结构进而switch作为开关显得特别重要了。
20世纪70年代后期，霍尔又深入研究了运行在不同机器上的若干个程序之间如何互相通信、互相交互数据的问题，实现了面向分布式系统的程序设计语言CSP。
霍尔出版的专著主要有以下几种：
- 《操作系统技术》
- 《数理逻辑和程序设计语言》
- 《并发和通信的发展》
- 《机器推理和硬件设计》