>>91
う、痛いところつかれたなぁ。
確かにマクロはリードマクロとして
トークン列のパターンマッチで出来ちゃうしシンプルになるんですよねぇ。
それがDylanやNemerleなわけで、、、。

しかし、文法が複雑、ウギャース、死亡ってかんじなんですよね。

①いわゆるシンタックスシュガーは、
　全部、リードマクロにより実装するようにしてしまい、
　演算子などはまったくない言語を作ってしまう。
②もうちょっと考えて、演算子とカッコ、コメントまで面倒見る。
　っていう２通りの考え方があると思ってるんです。

で、①を突き詰めるとＳ式で良くなってしまうと思うのです。

そうすると、②の出来るだけ標準化できるところは標準化しておく
方向性を突き詰めたほうが良いように思うわけです。

ってわけで、やっぱり、ある程度大きい汎用な文法が欲しいんです。

それを使って、開発環境のピロピロをやったりして遊びたいんです。
さらに、関数一覧作ってみたり、論理型言語に適用してみたり。
関数型言語作ってみたり。