#ifempty　や僕の代案の #condtype はメタレベルというか

3:04 PM

型の表現としてパラメータ展開時に再評価される抽象的な式を導入するので

3:04 PM

まあレベルはあがりますね

3:04 PM

でもそれ故にマクロってのは飛躍があるかなと思います。

3:04 PM

マクロまでいっちゃうと自由度が無制限に吹っ飛んじゃうから。