Carp is a statically typed Lisp, without a garbage collector and virtual machine. It provides inferred types.