?

Log in

No account? Create an account

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

Aug. 27th, 2013

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

Previous Entry Share Next Entry

Comments:

[User Picture]
From:xeno_by
Date:August 29th, 2013 07:25 am (UTC)
(Link)
>> и когда в нем делаем (syntax->datum #'aif 'it) то на it ложится марка с aif, которая там из aunless
Ооо!! Вот оно! Спасибо, теперь все стало понятно.
(Reply) (Parent) (Thread)
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)