schemeのマクロを勉強している時に、 1 (define-syntax mcr 2 (syntax-rules () 3 ((_) (print var)))) 4 5 (define (fnc) (print var)) 6 7 (define var 2) 8 (mcr) 9 (fnc) 10 (set! var 3) 11 (mcr) 12 (fnc) の実行結果が、 2 2 3 3 なのが衝撃だった。…

CLIプログラムを立ち上げたのはいいけど、終了コマンドがわからなくて、仕方なくCtrl-Cということが多いので、僕が使っているプログラムたちの終わらせ方をメモメモ。 gosh (exit) coqtop Quit. ghci :q ipython quit cling .q psql \q

goshやcoqtopなどのCLIプログラムは、履歴機能や補完機能が使えない。そういう時にはrlwrapでラップして使えば幸せだよっていうだけの話。こういうプログラムがあるのは知っていたが、名前が出てこなかったので、ずっと使えずに不便していた。 自作プログラ…