以前に（TeX 言語での）完全展開可能なナベアツ（\NabeAzzX）のところで次のようなことを述べた。マクロを完全展開可能にする場合、代入操作が全く使えなくなる。従って、（純粋な）関数型言語の方法論でプログラミングする必要がある。 完全展開でない \Nab…