再帰的なマクロ定義について

[nikosai]

現状、

S=<S><S>

などとすると、再帰的なマクロが定義できてしまう。

根本的な解決策はあまりない気がするが、何らかの形で解決したほうがよい。

[nikosai]

とりあえず変数をシャドウイングすることにした。
つまり、

M = \x.x
M = <M><M>

のようにすると <M> は (\x.x)(\x.x) になる。