$ Currency AUD Australian Dollar CAD Canadian Dollar DKK Danish Krone € Euro £ GB Pound NOK Norwegian Krone PLN Polish Zloty s.kr Swedish Krona CHF Swiss Franc $ US Dollar
$ Currency AUD Australian Dollar CAD Canadian Dollar DKK Danish Krone € Euro £ GB Pound NOK Norwegian Krone PLN Polish Zloty s.kr Swedish Krona CHF Swiss Franc $ US Dollar
「Yコンビネータも出来ないLisp処理系って処理系として終わってるよね。キモッ!」 と女子大生に言われないように、sLispでYコンビネータを出来るようにしました。 前回アップした似非Lisp処理系からかなり書き換えてます。 とりあえずdefunって結局lambdaだよねってのとlambdaときたらラムダ計算のβ簡約(beta reduction)でしょ! そんで簡約仕切るまで評価はしないよね、常識的に考えて という戦略です。 次のemacsの記事はこれの解説にするかな。。 継続の実装はちょっと時間的に無理ぽ sLispに与えるS式 Y関数がYコンビネータです。Yに再帰させたい関数fact0を与えて階乗の再帰的処理をしています (defun fact0 (f) (lambda (n) (if (= n 0) 1 (* n (f (- n 1)))))) (defun Y (f) ((lam
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く