ジョン・バッカス

高水準言語への反論は性能だった。手書きのアセンブリが常に勝つと思われていたのだ。そこでIBMのバッカスのチームは、言語そのものと同じだけの労力を最適化に注いだ。1957年に完成したコンパイラは手書きに近い品質のコードを出し、この論争に決着をつけ、プログラミングの抽象度が上がる道を開いた。

彼は文法記法も導入した。ペーター・ナウアの修正を経てバッカス・ナウア記法となり、今も言語の構文を記述する標準である。1977年のチューリング賞講演では自らの遺産に異を唱え、プログラミングをフォン・ノイマン型の様式から解放できるかと問い、関数型プログラミングを擁護した。