関数型プログラミング
歴史的に言えば、 LISP に続いて関数型プログラミングパラダイムへ刺激を与えたのは、1960年代半ばのピーター・ランディン(英語版)の成果である。ランディンの成果はハスケル・カリーとアロンゾ・チャーチに大きな影響を受けていた。ランディンの初期の論文は、ラムダ計算と、機械および高級言語 (ALGOL 60) との関係について議論している。ランディンは、1964年に、 SECD マシンと呼ばれる抽象的な機械を使って機械的に式を評価する方法を論じ、1965年に、ラムダ計算で ALGOL 60 の非自明なサブセットを形式化した。1966年にランディンが発表した ISWIM(If You See What I Mean の略)という言語(群)は、間違いなく、これらの研究の成果であり、構文や意味論において多くの重要なアイデアを含んでいた。 ISWIM は、ランディン本人によれば、「 LISP を、その名前にも表れたリストへのこだわり、手作業のメモリ割り当て、ハードウェアに依存した教育方法、重い括弧、伝統への妥協、から解放しようとする試みとして見ることができる」。関数型言語の歴史において ISWIM は次のような貢献を果たした。
構文についての革新 演算子を前置記法で記述するのをやめて中置記法を導入した。 let 節と where 節を導入して、さらに、関数を順序なく同時に定義でき、相互再帰も可能なようにした。 宣言などを記述する構文に、インデントに基づいたオフサイドルールを使用した。