現時点での試験、lambda 式なナニが以下。 <subst lambda experssion>------------------------------------------------------ test subst y (lambda (x) (lambda (x) y)), expects (lambda-exp x (lambda-exp x (var-exp y))) ==> ok test subst y (lambda (x) (lambda (y) y)), exp</subst>…

ええと、close から open への mindset の転換、というあたりに拒絶反応を示す若い人が多い。やはり自分が希少性を持った存在になりたい、というか何らかの付加価値を持っておきたい、と思うのだろうか。 あるいは自分が持ってる情報は公開しない、がデフォ…

emdebian-tools なるものがある模様。リポジトリは http://www.emdebian.org/debian/ だったか。一応 Hello, world をコンパイルして emulator 上で動作したのまでは確認済み。 しかしこんなに簡単にクロスな環境ができるとは本当に凄いな。

中の lambda は occurs-free だったら変換、なのかなぁ。 # 意味不明ですみまそん