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