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

See http://www.haskell.org

[Interfacing Tcl with Haskell]