> Lisp is large, important, and also not statically typed. It's worked out ok for Lisp programmers. Lisp programmers use check-type[1] a lot, they proclaim[2]

> Lisp is large, important, and also not statically typed. It's worked out ok for Lisp programmers. Lisp programmers use check-type[1] a lot, they proclaim[2] types for performance optimizations and they often deftype[3] if not only for code clarity. And then we have CLOS and its dispatching on types/classes... [1] http://www.lispworks.com/documentation/HyperSpec/Body/m_check_.htm http://www.lispworks.com/documentation/HyperSpec/Body/m_chec... [2] http://www.lispworks.com/documentation/HyperSpec/Body/f_procla.htm#proclaim http://www.lispworks.com/documentation/HyperSpec/Body/f_proc... [3] http://www.lispworks.com/documentation/HyperSpec/Body/m_deftp.htm http://www.lispworks.com/documentation/HyperSpec/Body/m_deft...