vallog

いくつか Gauche で書きました。写経がてら。前回読んだ時にあまり書いてないので、揃えておいた方が良いなぁと。 ざっくり書いただけなので、動かないところがあるかもしれません。 今 LET OVER LAMBDA Edition 1.0 と On Lisp を再読して...

On Lisp --- アナフォリックマクロ On Lisp の aand をそのまま scheme で以下のように書いてハマりました。。 まともに使うにはこうでしょうか。。 というか、gauche を使っているので、and-let* を使った方が無難なようです。。 ...

On Lisp の後注、P.400 にあるコードを試しに実行してみました。38文字て・・・。 以下の式は, 現在ののパッケージで可視になっているすべてのシンボルを名前の長い順に並べたリストを返す. （以下のコードは本にあったコードに princ を追加したものです）

だそうです。 On Lisp On Lisp 後注より Gabriel, Richard P. Performance and Standardization. Proceedings of the First International Workshop on Lisp...

ようやく  LET OVER LAMBDA Edition 1.0  に引き続き  On Lisp  を読み終わりました。これが初級者向けってホントですか。前半はまー、確かにそうでしょうけども。。Lisp 怖い。 個人的におもしろかったのは、 Paul Graham 節 ...

On Lisp On Lisp --- 継続 On Lisp --- 非決定性 On Lisp --- Prolog Web 版にはないと思われますが、P.393以降の「後注」に以下の様なことが書かれています。 最終的には Prolog を 94 行で実装した. それに...

vallog: syntax-rules: amb On Lisp  の非決定性の章がとてもわかりやすいです。以前写経した、syntax-rules 版の amb より、関数版の方がよくわかりました。 On Lisp --- 非決定性 以下のコードは関数版の方です。取りあえ...

On Lisp  のアナフォリックマクロで aif というものがあります。scheme で書いてみたりしました。 vallog: anaphora Gauche には if-let1 があるということを教えて頂きました。 Twitter / SaitoAtsushi: @val...

syntax-aif On Lisp --- アナフォリックマクロ else は、Common Lisp だと &optional else で良さそうだけど、syntax-rules だとどう書くのが良いのか。。 こういうのは、衛生的なマクロでなくて素直に伝統的な...

便利そうだったので。 On Lisp --- 汎変数 こうかなー。 vallog: let/

読んでいて「おっ」と思ったところを、メモっておいても良いですか？ On Lisp --- マクロ 関数定義内にあるマクロ呼び出しは関数がコンパイルされるときに展開形に置換される． マクロを呼び出す関数がコンパイルされた後にそのマクロを再定義したらどうなるだろうか？ 元々のマクロ...

メモ化は The Seasoned Schemer にも出てきますね。Y Combinator は昨日のコレを改造しました。 vallog: Scheme 紙面プログラミング すげー。これカッチョイイな！！memoized-Y 。 こちらを参考にしました。こんな使い...

追記 メモ化されてNEEEEEEEEEEE！ということで。 でも、これでもメモられたのは35だけか・・・。うーん。 vallog: メモ化された Y Combinator vallog: pluggable Y Combinator