Unlambda

プログラミング言語 >>他のプログラミング言語 ■カテゴリ / ■テンプレート Unlambda（アンラムダ）はコンビネータ論理とラムダ計算に基づく、仕様の小さな、ほぼ純粋な関数型言語のプログラミング言語である。デビッド・マドレ(David Madore)によって設計された。...

命令がデータの変更方法を記述する命令形言語(例:Brainfuck)、 データとコードは概ね交換可能であり関数適用を繰り返すことで実行される関数型言語(例:Unlambda)、 始状態に対して関数変換[訳語疑問点]が適用される書換え言語(例:Thue（英語版）) OISCは唯一つの命令をサポートするような計算機のことである。...

Turing Typed assembly language（英語版）（TAL） TypeScript Unified Parallel C（UPC） Unlambda UnrealScript VBScript Visual Basic Visual Basic .NET Verilog VHDL Viscuit...

エンコードされ、出力も同様に1バイトごとのチャーチ数のスコットエンコードされたリストとなる。 Lazy K にて Unlambda を実装した場合、Unlambda で Unlambda を実装した場合に比べて約1/10のソースサイズで収まる。 Haskell の表記法を用いる。 I x = x K...

emulation”. Unlambda.com. 2011年11月12日閲覧。 ^ “Meroko Emulator (TI Explorer I)”. Unlambda.com. 2011年11月12日閲覧。 ^ “Nevermore Emulator (TI Explorer I)”. Unlambda.com...

machineのモデルとして使われている。もっとも純粋な形は、唯一のプリミティブが入出力のために拡張されたSとKのコンビネータの、Unlambdaというプログラミング言語である。実用的なプログラミング言語ではないが、Unlambdaは理論的な関心がある。 コンビネータ論理は解釈の多様性を与えられる。カリーによる論文では、どのよう...

コンビネータ論理 B,C,K,Wシステム 不動点コンビネータ ラムダ計算 関数型言語 Lazy K プログラミング言語 Unlambda プログラミング言語 To Mock a Mockingbird（英語版） SKK - 名称がSKK=Iともかけられている。 ^ D. A. Turner...

第一級関数 不動点コンビネータ 無名再帰 System F SKIコンビネータ計算 B,C,K,Wシステム カリー・ハワード対応 ラムダ計算騎士団 - Lispを使うプログラマ達の間で冗談として登場する架空の騎士団 ラムダ・キューブ 項書き換え Unlambda 再帰的定義 領域理論 合流性 ペアノの公理...

方言による 方言による Miranda 静的型付け 純粋 遅延評価 ML Standard ML OCaml 静的型付け 非純粋 正格評価 Scala 静的型付け 非純粋 正格評価 Unlambda 型なし 非純粋 正格評価 コンビネータ論理 Lean 静的型付け 純粋 正格評価 型付きラムダ計算...