Irken is a statically typed variant of Scheme.  Or a lisp-like variant of ML.