関数型プログラミング
1950年代後半にジョン・マッカーシーが発表した LISP は関数型言語の歴史において重要である。ラムダ計算は LISP の基礎であると言われるが、マッカーシー自身が1978年に説明したところによると、匿名関数を表現したいというのが最初にあって、その手段としてマッカーシーはチャーチのラムダ計算を選択したに過ぎない。
意味論についての革新 非常に小さいが表現力があるコア言語を使って、構文的に豊かな言語を定義するという戦略を導入した。 等式推論 (equational reasoning) を重視した。 関数によるプログラムを実行するための単純な抽象機械としての SECD マシンを導入した。
ランディンは「それをどうやって行うか」ではなく「それの望ましい結果とは何か」を表現することに重点を置いており、そして、 ISWIM の宣言的なプログラミング・スタイルは命令的なプログラミング・スタイルよりも優れているというランディンの主張は、今日まで関数型プログラミングの賛同者たちから支持されてきた。その一方で、関数型言語への関心が高まるまでは、さらに10年を要した。その理由の一つは、 ISWIM ライクな言語の実用的な実装がなかったことであり、実のところ、この状況は1980年代になるまで変わらなかった。
ケネス・アイバーソンが1962年に発表した APL は、純粋な関数型プログラミング言語ではないが、その関数型的な部分を取り出したサブセットがラムダ式に頼らずに関数型プログラミングを実現する方法の一例であるという点で、関数型プログラミング言語の歴史を考察する際に言及する価値はある。実際に、アイバーソンが APL を設計した動機は、配列のための代数的なプログラミング言語を開発したいというものであり、アイバーソンのオリジナル版は基本的に関数型的な記法を用いていた。その後の APL では、いくつかの命令型的な機能が追加されている。