?

Log in

No account? Create an account

Метапрограммирование в Агде и немного философии - Excelsior

Aug. 27th, 2013

09:49 am - Метапрограммирование в Агде и немного философии

Previous Entry Share Next Entry

Comments:

From:Valentin Budaev
Date:August 29th, 2013 09:28 am (UTC)
(Link)
Причем тут aif - это pattern-variable, то есть это именно aif, переданный в макроформу, а если бы у нас был паттерн (_ cond then else) вместо (aif cond then else), то это был бы тот aif, который само название макроса, тогда бы тоже не работало, но уже по другой причине - на it лежала бы марка от самого aif (т.к. идентификатор, в отличии от случая с pattern-variable, был бы сгенерен внутри макроса, а не получен в аргументе).
(Reply) (Parent) (Thread)