2009-07-03から1日間の記事一覧

moshとYpsilonでスコープが異なるケース

追記 : 同じpsyntaxベースのikarusでも動くので、moshの実装上の都合かもしれない。 追記 : わかりづらいので手で展開した。 (import (rnrs)) (define (tx x) (+ 1 x)) (define (tp p) (syntax-case p () ((k arg) (datum->syntax (syntax k) (tx (syntax->d…

過去記事に追記

間違ってるらしいので。 http://d.hatena.ne.jp/mjt/20090702/p1 B-CASに関しては復号出来る程度に理解してるけど、政治的な話は継続的には追って無いのでその辺が根本的に間違ってるかもしれない。 簡単に言えば僕は議論の前提を知らない。より暗号を強化し…