Unlambda - Wikipedia
組み込み関数の一覧は以下の通り。 ` 関数適用 s SKIコンビネータ計算のS k SKIコンビネータ計算のK i SKIコンビネータ計算のI v 引数を無視して v を返す d 厳密には関数というよりも特殊形式で、評価を遅延し、2回目の評価の時に初めて評価する c 継続。call-with-current-continuation。 e 継続を無視し、プログラムを終了させる r 改行を表示し、後はIと同じ振る舞い . 引数の文字を表示し、後はIと同じ振る舞い @ 標準入力から1文字読み込む ? 標準入力から1文字読み込み、引数と比較する | 標準入力から1文字読み込み、表示する 「.H」や「.e」などの、「.A」で表されるものは恒等関数 (引数として与えられた値を全く変更せずにそのまま返す関数) で、副作用として「A」を表示するものである。「i」は副作用を伴わない恒等関数である。上述の
Church numerals and Lambda Calculus
Church Numerals と Lambda Calculus アルゴリズムとデータ構造入門 補足 後半は佐藤雅彦先生に教えてもらいました. SICP Exercise 2.4 〜 Exercise 2.6 誤解を恐れずに大雑把にいうと, λ計算では名前つきのシンボル (名前付きの手続き) による再帰呼出しや special form が使えないところが Scheme と違うところです. そのため, λ計算を Scheme で行うためにはいろいろな工夫が必要となります. そのポイントは closure (閉包) と呼ばれる構造です. 自然数 n の Church numeral を c(n) とすると, c(n) f x = (f ... (f x)), ただし, f は n 回出現. となることを利用します. まず, c0 と successor を定義します. (SICP Ex.
ラムダ計算 λ...
► 2022 (2) ► 10月 (1) ► 2月 (1) ► 2021 (51) ► 11月 (2) ► 10月 (2) ► 9月 (4) ► 8月 (4) ► 7月 (4) ► 6月 (4) ► 5月 (3) ► 4月 (10) ► 3月 (7) ► 2月 (4) ► 1月 (7) ► 2020 (155) ► 12月 (7) ► 11月 (10) ► 10月 (8) ► 9月 (8) ► 8月 (11) ► 7月 (21) ► 6月 (19) ► 5月 (14) ► 4月 (20) ► 3月 (13) ► 2月 (10) ► 1月 (14) ► 2019 (293) ► 12月 (11) ► 11月 (12) ► 10月 (24) ► 9月 (29) ► 8月 (27) ► 7月 (36) ► 6月 (40) ► 5月 (24) ► 4月 (35) ► 3月 (42) ► 2月 (6
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
http://www.sakurai.comp.ae.keio.ac.jp/classes/DENDAI/2009/08-1Lambda.pdf
http://www.math.nagoya-u.ac.jp/~garrigue/lecture/2007_SS/typed.pdf
http://www.math.nagoya-u.ac.jp/~garrigue/lecture/2007_SS/syntax.pdf
