A "polymorphicly typed, lazy, purely functional language".
See http://www.haskell.org
Interfacing Tcl with Haskell - Playing Haskell - Tcl and other languages