相关疑难解决方法(0)

当我在Common Lisp中定义一个函数时,如下所示:

(defun foo (n)
  (declare (type fixnum n))
  (+ n 42))

我期待一个电话会(foo "a")立即失败,但它会在通话中失败+.是declare形式不保证静态类型检查？