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

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

む。lexical-address って (lambda-exp (x y z) (app-exp ((lambda-exp (x y) (app-exp ((var-exp +) (var-exp x) (var-exp y) (var-exp z)))) (var-exp y) (var-exp x))))を吸わせたら (lambda-exp (x y z) (app-exp ((lambda-exp (x y) (app-exp ((free-in…

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

もっぺん問題を読んで整理 Figure 2.2 な BNF に沿った形で parse と unparse 修正 lexical-address 手続き実装 lex-info とか free-info な variant 使う unparse を lex-info とか free-info を val-exp に置き換えるよう修正 現状、最初のはなんとかなっ…

OSX 自分メモ

本屋で立ち読み情報。MacPorts 使うには Xcode Tools 入れて MacPorts をインターネットから落として入れて っていう手順が必要との事。 http://d.hatena.ne.jp/hakobe932/20061208/1165646618 来週、どっかの時点で端末移行な予定なんスが、ばたばたしてて…