ブラウザで実行Oiseauはラムダ計算、またはコンビネータ論理に基づくプログラミング言語です。Oiseauの特徴は以下の通りです。使用方法node.jsnpmよりダウンロードできます。oiseauコマンドラインより"oiseau"とタイプすることでREPLを実行できます。変数は小文字のラテンアルファベット、またはそれに続く数字からなります。xやx27は有効な変数名です。マクロマクロは大文字のラテンアルファベット、またはそれに続く数字からなります。マクロ名には[と]に囲まれた、[,],=を除く文字でも構成できます。S、S27や[Cons]は有効なマクロ名です。表示式は与えられた文字列をログに出力する副作用を持つ恒等関数です。表示式は<、>を除く任意の文字、>の列からなります。副作用は式を評価するときのみ使用され、ベータ簡約では無視されます。式の列を(,)で囲むことで評価の順序を変えることができます。式の種類ラムダ式ラムダ式は^、変数名のリスト、.、式のリストからなります。^xyz.xz(yz)^の代わりにギリシャ文字のλも使用できます。マクロ定義マクロはラムダ式の前にマクロ名と=または:=を置くことで定義できます。マクロ名に空白を含まなければ、囲む[,]は省略できます。マクロは再定義できません。自然数はチャーチ数として認識されます。数字2は^ab.a(ab)として解釈されます。単純に式を入力することで、式をベータ簡約することができます。式を評価したいときは、式の前に`を追加します。world."をログに追加します。world.^ab.a非正格な評価`の代わりに``を使用することで、非正格な評価ができます。式をSKIコンビネータに変換したいときは、式の前に"@"を追加します。SKIコンビネータはログに出力されます。@SKKI^ab.a定義済みマクロ下記のマクロは定義済みです。