EoPL 読んでた記録の確認とその記録 (2)
若干標題が微妙な気がしますが当分これで続けてみます。
昨晩ですが、以前作成した lexical-address とその試験を手元に持ってきて動かしてみて、一応試験に成功するところまで確認しています。
つうかこれ
abstract syntax 使え、ってありますね。で、これ用の unparse で吐き出される、って理解で良いのかな。むむむ。とりあえず lexical-address な abstract syntax が以下か。
(define-datatype lexical-address lexical-address? (lit-exp (datum number?)) (lex-info (id symbol?) (depth number?) (position number?)) (free-info (id symbol?)) (if-exp (test-exp expression?) (true-exp expression?) (false-exp expression?)) (lambda-exp (id symbol?) (body expression?)) (app-exp (rator expression?) (rand expression?)))
で、これを unparse に吸わせる、ってことだったのですが、とりあえず自分が作ったはずの lexical-address な実装が読めないorz
暫く悩んでいたのですが、やはり引数なリストが無いと駄目なのかな。
ということで
Ex.1.31 にリトライすることにしました。ログは別途で。