>Makes me wonder: could there be a fully statically typed variant of Lisp? Did anyone try that? FYI: Lisp already allows you to specify data types if you want,

>Makes me wonder: could there be a fully statically typed variant of Lisp? Did anyone try that? FYI: Lisp already allows you to specify data types if you want, as if it were a statically typed language. If you do this, a good Lisp implementation, like SBCL, will then do static type checks and will also improve execution speed significantly -- with this plus other tricks, Lisp can approach Fortran and C speed.