http://dev.rubyonrails.org/ticket/8642Rails と SQLite 使ってて BusyException で死んだまま復活しなければこれ。 ほかのDBでも起こりうると思うけど。

なんかλ計算みたいになってきた… &\v v$|&&4:! ;; [G] G=(stdio, print_int, fact, 4) ============================================== print_int n r ============================================== v|>&\:?v ;; [G', G, stdio, print_int, fact, 4] !:|…

を思いついたわけだ。フレームはチャンネルにメッセージとして保存する。チャンネルごとに１フレーム、１メッセージとする。メッセージ(=フレーム=チャネル)のフォーマットは Γ' = (Γ, v1, v2, v3, …, vn, n+2)ここで、Γはひとつ上のフレームを保存したチャ…

pefungeのGはスタックの奥底に眠ってる値をトップにコピーする命令だ。pefunge自身でGを実装しようとしたときに何が問題になるかというと、スタックの先頭二つしか入れ替えられないことだ。深さnから値を取り出す関数が呼び出された直後のスタックは […,v3, …