Unlambda(アンラムダ)はコンビネータ論理とラムダ計算に基づく、仕様の小さな、ほぼ純粋な関数型言語のプログラミング言語である[1]。デビッド・マドレ(David Madore)によって設計された。 概要[編集] この言語はコンビネータ論理とラムダ計算にもとづいている。この言語は主に2つの組込関数(「s」と「k」)および、関数適用演算子(「`」と書かれる)によって成り立っている。これらだけによってチューリング完全をなしているが、ユーザーとのインタラクションを可能にする入出力関数群と、いくつかのショートカット関数群、そして、遅延評価のための関数も備えている。この言語には変数は存在しない。 Unlambda言語の目的は実用ではなく純粋関数型言語の実証にあるため、この言語は難解なプログラミング言語になっている。実用的な普通の言語にあるような演算子やデータ型が存在しないというのがこの言語の大き