#> shiroさん
##ありがとうございます！
#koguroさん
##みなさんありがとうございます！！
#CLでinfix記法 http://my.opera.com/zeptometer/blog/2011/03/27/cl しかしinfixで書けるようにしてもプログラムの中で数式が出てくる部分って案外少なくて、その少ない機会に記法を切り替えるのが案外面倒で結局使わなくなるという罠。 #もしも Scheme にリードマクロを導入しようとしたらフェイズがわけわかんないことになりそうですね。
#そうですねぇ。リードマクロの実行は別の世界でやるべきなんだろうけれど、それは(meta N)で表現されるフェーズとはまた別に扱わないとならなさそうだしなあ。
#現状でもちゃんと理解できる気がしない…。 ＜フェイズ
##そういや Gauche の define-reader-ctor も単に順序に依存してましたね
#してます。srfi-10のダークコーナーでもあるんですが。本来reader-ctorの定義は一段メタな話 (マクロ定義とは別の次元で) であるべきなのに、それを明示する手段がない。
#define-reader-ctor はリードの段階でオブジェクトを構築するってだけでS式から逸脱しているわけではないのか…
#それなら普通のマクロでS式以外のオブジェクトを返せるように緩和しても同じことができそうな
#define-reader-ctorをマクロ定義扱いにしちゃうってことか。
#いや、クオートの中に現れたら困りません?
#そのオブジェクトだけを返すのならともかく、そのオブジェクトを含むS式を表現し難いってことになるのかな。
#srfi-10構文はリテラルデータと同等の表記を追加するものなので、「読まれた」時点で既にオブジェクトになってないとまずいんですね。マクロとはやっぱり実行されるタイミングが違う。
#いいこと思い付いたと思ったけどやはりそう簡単にはいかないなぁ。
Gauche > Archives > 2011/03/27