Lispとラムダ計算：理論と実践の物語

この記事は、Lispとラムダ計算の関係を探求します。Lispの生みの親であるJohn McCarthyは、当初ラムダ計算を完全に理解していませんでしたが、その記法を借りてLispを創造しました。Lispはラムダ計算の直接的な実装ではなく、ラムダ計算から着想を得て、IBM 704のハードウェア特性を組み込んだものです。この記事は、Lispの初期の歴史、特にその評価器EVALの実装と、car/cdr演算とIBM 704との関係を深く掘り下げます。ラムダ計算の基本概念が紹介され、ΛΙΣΠと呼ばれるおもちゃの言語を使って例示されています。最終的に、この記事はLispとラムダ計算の間にある魅力的で複雑な相互作用を示し、今後の記事でさらに探求される余地を残しています。