约翰·巴科斯

约翰·华纳·巴科斯（英语：John Warner Backus，1924年12月3日－2007年3月17日），美国计算机科学家，是早期高阶语言（High-level Language）FORTRAN的发明小组组长。他提出了BNF（用来定义形式语言语法的记号法），发明了函数层次编程（英语：Function-level programming）概念及实践该概念的FP语言（英语：FP (programming language)）。为1977年图灵奖得主。1924年12月3日生于美国宾夕法尼亚州费城，父亲是阿特拉斯火药公司的员工，后来转职为证券经纪人。巴克斯中学时念宾夕法尼亚州波茨敦市的希尔学校，平时不爱读书，勉强毕业，没有什么过人之处。后来依照父亲的要求，他在维吉尼亚大学修读化学，成绩也不好。第二次世界大战爆发，他便改为参加美国陆军，在乔治亚州服役，后来进入哈弗福德学院（Haverford College）的医学院预科接受医疗训练，九个月后又退出了。在接受医疗训练期间，他被诊断出患有脑部肿瘤，并接受手术治疗。他搬到纽约市，最初打算以无线电技术员为生。在训练过程中，他对数学产生极大兴趣，于是他便在哥伦比亚大学修读学位，于1949年以数学硕士学位毕业，1950年加入IBM工作。巴克斯和同事海尔里克（H. Herrick）一起成功开发了Speedcoding（英语：Speedcoding）的程序，适用于浮点数运算。巴克斯在IBM工作了几年，他对于机械式的程序设计感到厌烦，他希望能设计一套新式语言。1953年巴克斯向当时IBM董事长卡斯伯特·赫德（英语：Cuthbert Hurd）（Cuthbert Hurd），提交了一分备忘录，建议设计一种接近人类语言的编程语言代替机器语言，后来赫德批准了这项计划。1957年4月他所领导13人小组推出全世界第一套高阶电脑语言FORTRAN，首次用在IBM 704计算机上面，1958年推出FORTRAN Ⅱ，几年后又推出FORTRAN Ⅲ，1962年推出FORTRAN Ⅳ，被称为FORTRAN语言之父。六十年代巴克斯转到沃森研究中心，参加了ALGOL语言的设计。1977年10月17日在西雅图举行的ACM年会上获得计算机界最高奖图灵奖，会中他发表了“程序设计能从冯诺伊曼形式中解脱出来吗？函数式风格及其程序的代数”（Can Programming be Liberated from the von Neumann Style? A Functional Style and Its Algebra of Programs）演说，这篇演说有时被看作是他为发明了Fortran而致歉。1991年退休。1994年美国工程院授予他Charles Stark Draper奖。2007年3月17日在美国俄勒冈州的家中去世，享年82岁。