ML

ML is a general-purpose functional programming language. It has roots in Lisp, and has been characterized as "Lisp with types". And it is static-scoped functional programming language like SCHEME.