A Common Lisp implementation may have static types: (defun foo (x) (declare (type fixnum x)) (1- x)) If you don't specify them, types all defa

A Common Lisp implementation may have static types: (defun foo (x) (declare (type fixnum x)) (1- x)) If you don't specify them, types all default to T.