アンラムダ

Unlambda は、 David Madore によって発明された最小限の「ほぼ純粋な」^[1] 関数型プログラミング言語です。これは、ラムダ演算子や自由変数のない式システムである組み合わせ論理に基づいています。主に 2 つの組み込み関数 (と) と適用演算子 ( と表記、バッククォート文字) に依存しています。これらだけでもチューリング完全ですが、ユーザーとの対話を可能にする入出力(I/O) 関数、ショートカット関数、遅延評価関数もあります。変数はサポートされていません。 sk`

Unlambda は、 GNU General Public License (GPL) 2.0 以降に基づいて配布される無料のオープンソース ソフトウェアです。 ^{[説明が必要]}

難解なプログラミング言語であるUnlambda は、実用的というよりは、非常に純粋な関数型プログラミングのデモンストレーションを目的としています。その主な特徴は、従来の演算子とデータ型が存在しないことです。プログラム内の唯一のデータは、1 つのパラメータを持つ関数です。それでも、ラムダ計算のように、適切な関数を使用してデータをシミュレートできます。複数パラメータを持つ関数は、カリー化という方法で表現できます。

Unlambda は、抽象化除去の原則、つまり関数を含むすべての保存された変数の除去に基づいています。純粋に関数的な言語として、Unlambda の関数はファーストクラス オブジェクトであり、そのような唯一のオブジェクトです。

以下はUnlambdaでのhello worldプログラムの実装です: ^[1]

`r```````````.Hello .worldi

表記は、1 つの引数を受け取り、それを変更せずに返す関数を表します。呼び出されると 、副作用として 1 つの文字 x が出力されます。は、そのような副作用のない恒等関数のバージョンを表します。ここでは、仮引数として使用されています。プログラムは、-printing 関数を の仮引数に適用し、副作用として文字を返して出力します。同様に、まず がに適用され、文字を出力してを返します。次に、 のこの結果が、前の例のようにに適用されます。 関数は、改行文字を出力する関数の 糖衣構文です。.xi`.didiid``.l.di.l.dl.d.dir

Unlambda が提供するその他の重要な機能には、 関数kとs関数があります。 kは定数関数を生成します。 の結果は、呼び出されるとxを返す関数です。したがって、 の値は、任意のxおよびyに対してxになります。 `kx``kxy

sは一般化された評価演算子です。任意のx、y、zに対してが評価されます。SKIコンビネータ計算で説明されているように、と があれば任意の計算を実行できるというのは注目すべき事実です。簡単な例として、恒等関数はとして実装できます。これは、 がすべてのxに対してx を返すためです。 ```sxyz``xz`yzski``skk```skkx

Unlambda のフロー制御構造は、で示される現在の継続を伴う callcです。 形式の式が評価されると、その瞬間のインタープリタの状態を表す特別な継続オブジェクトが構築されます。次にx が評価され、その結果が継続オブジェクトに引数として渡されます。継続が引数に適用されない場合は、式の値はxの値と同じになります。ただし、継続オブジェクトが値yに適用された場合は、 xの実行が直ちに中止され、式全体の値はyになります。 `cx`cx`cx

Unlambda の実行セマンティクスは通常、積極的な評価ですが、演算子の使用によって示される遅延評価dオプションが存在します。通常、 形式の式を評価するために、 unlambda は最初にx を評価し、次にy を評価し、次にxをyに適用します。ただし、x が特殊な値 に評価される場合、y は評価されません。代わりに、式の値は特殊な「遅延計算」オブジェクトであり、引数zに適用されるとy を評価し、次にその値をzに適用します。副作用がない場合、これは とまったく同じです。違いは、 はyの副作用を直ちに実行するのに対し、 は結果が別の引数に適用されるまで副作用を延期することです。 `xyd`dy`iy`iy`dy

Unlambda の次の組み込み演算子はでv、引数を無視して を返します。 はとして実装できるvため、この機能は厳密には必須ではありませんが、利便性のために提供されています。(上記の式は単に であり、 は固定小数点コンビネータを表します。) v``s`k``s``s`kskk`k``s``s`kskk`YkY

Unlambda バージョン 2 では、さらに多くの組み込み関数が導入されました。入力は演算子@とによって容易になります。関数xに が適用されると、入力から文字が読み取られ、「現在の文字」として保存されます。次に、xが適用されます。ただし、入力時に使用できる文字がもうない場合は、現在の文字は未定義のままになり、代わりにxが適用されます。関数 が関数xに適用されると、結果は、現在の文字がuの場合は の評価、それ以外の場合は の評価になります。 ?u@iv?u`xi`xv

「再印刷」演算子もあります|。 が評価されると、 u が現在の文字である場合は関数xが に適用され、現在の文字がない場合は に適用されます。 `|x.uv

最後に、終了演算子がありますe。 がxeに適用されると、プログラムの実行が終了し、x がプログラムの結果として取得されます (現在存在するほとんどのインタープリタは、いずれにしても結果を無視します)。

• イオタとジョット
• SKIコンビネータ計算

• フェリックス・ヘルナンデス・カンポス（2002 年 4 月 1 日）、講義 28: 関数型プログラミングについてさらに詳しく、ノースカロライナ大学 COMP144
• 原悠 (原 裕) (2008)。 Rubyで作るいろいろなプログラミング言語。東京：毎日コミュニケーションズ。 205–214ページ。ISBN 978-4-8399-2784-4。

• 公式サイト