There are statically typed variants of Lisp. Shen springs to mind. The homepage for Shen has more details about the type system it uses, but just to warn you th

There are statically typed variants of Lisp. Shen springs to mind. The homepage for Shen has more details about the type system it uses, but just to warn you the site jumps in at the deep end: http://shenlanguage.org/ http://shenlanguage.org/ Perhaps there's a gentler introduction elsewhere.