戻る

マクロか関数かというのは確かにあまり本質でない気はして、主にユーザが気にしているのはスコープの問題 (関数に渡していないローカル変数にアクセスされうるか) とか構文上の種類 (式に展開されるのか定義に展開されるのか) とかなので、その辺りが区別なりわかりやすく検査なりできるのであれば割とどうにかなりそう