2006-10-08から1日間の記事一覧
この日記のタイトルになっているラムダ式「λx. x K S K」は, 「*1の一点基底」と呼ばれるコンビネータで, 全ての閉ラムダ式はこのコンビネータ X = λx. x K S K から構築することができる. このことは,S と K がそれぞれ X (X X) と X X X で表現できる…
この日記のタイトルになっているラムダ式「λx. x K S K」は, 「*1の一点基底」と呼ばれるコンビネータで, 全ての閉ラムダ式はこのコンビネータ X = λx. x K S K から構築することができる. このことは,S と K がそれぞれ X (X X) と X X X で表現できる…