История изменений

Поднять typecase наружу из циклов бывает полезно, и компилятор сам едва ли сообразит (допустим, он инлайнит, но тип аргумента в этой точке не виден).

Helper macro для такого поднимания можно нарисовать, например, так:

(defmacro with-types ((varname &rest types) &body body)
  `(etypecase ,varname
     ,@(loop for type in types
	     collect `(,type (let ((,varname (the ,type ,varname)))
			       ,@body)))))
...
(defun bar ()
  (declare (optimize (speed 3)))
  (let ((a (foo)))
    (with-types (a fixnum float t)
      (+ a 1))))

Я бы в такой ситуации код писал по-человечески, а в нужных местах добавил define-compiler-macro и уж в нём бы извращался.

Поднять typecase наружу из циклов бывает полезно, и компилятор сам едва ли сообразит (допустим, он инлайнит, но тип аргумента в этой точке не виден).

Helper macro для такого поднимания можно нарисовать, например, так:

(defmacro with-types ((varname &rest types) &body body)
  `(etypecase ,varname
     ,@(loop for type in types
	     collect `(,type (let ((,varname (the ,type ,varname)))
			       ,@body)))))
...
(defun bar ()
  (declare (optimize (speed 3)))
  (let ((a (foo)))
    (with-typed (a fixnum float t)
      (+ a 1))))

Я бы в такой ситуации код писал по-человечески, а в нужных местах добавил define-compiler-macro и уж в нём бы извращался.