Common Lisp does this too: (defun foo (bar)) vice (defun foo (bar) (declare (fixnum bar) (ignorable bar))) And of course then t

Common Lisp does this too: (defun foo (bar)) vice (defun foo (bar) (declare (fixnum bar) (ignorable bar))) And of course then the compiler can gripe if you try to call (foo "123").