Coalton is an efficient, statically typed Lisp with ideas from Haskell and OCaml - Tech Sentiments