2008-06-11から1日間の記事一覧
λ式の構文ルール E = \x.E | E1 E2 | V | C V = 変数 C = 定数Combinator Logic(CL)はS K Iコンビネータ。CLで計算を表現すると、束縛変数がなくなるのがいいところ。λ式をCLに変換するルール []\x.E => [x]E [](E1 E2) => []E1 []E2 []v => v [x]\y.E => [x…
λ式の構文ルール E = \x.E | E1 E2 | V | C V = 変数 C = 定数Combinator Logic(CL)はS K Iコンビネータ。CLで計算を表現すると、束縛変数がなくなるのがいいところ。λ式をCLに変換するルール []\x.E => [x]E [](E1 E2) => []E1 []E2 []v => v [x]\y.E => [x…
