2009-08-31から1日間の記事一覧

PUSH_GREF_CALL

早めに寝る、と言いつつ disasm の旅に着手してしまう。基本的には val0 を push GLOBAL_REF で束縛を解決して val0 に格納 val0 を呼び出す という事で色々試しててようやく出た。

EoPL reading (73) 2.2 An Abstraction for Inductive Data Type

Exercise 2.8 ええと、 Exercise 1.19 の解は何処、と言いつつ検索してみたんですが、どうも EoPL シリーズって最終的に解はこうなりました、な手続き引用をしていない。探してみるに free-vars は以下な模様?