A "polymorphicly typed, lazy, purely functional language".

See http://www.haskell.org

[Interfacing Tcl with Haskell] - [Playing Haskell] - [Tcl and other languages]