История изменений
Исправление lovesan, (текущая версия) :
потому что ты не понимаешь что такое макросы, зачем они нужны и как используются
Тем не менее, вот SBCL:
CL-USER> (defmacro foo (var-name &environment env)
`',(multiple-value-list (sb-cltl2:variable-information var-name env)))
FOO
CL-USER> (let ((x 123)) (declare (type fixnum x)) (foo x))
; in: LET ((X 123))
; (X 123)
;
; caught STYLE-WARNING:
; The variable X is defined but never used.
;
; compilation unit finished
; caught 1 STYLE-WARNING condition
(:LEXICAL T ((TYPE . FIXNUM)))
CL-USER>
И вообще, люди которые задрачиваются по типизации - по моим наблюдениям ну крайне зашорены, крайне узко мыслят
Исходная версия lovesan, :
потому что ты не понимаешь что такое макросы, зачем они нужны и как используются