But Prelude> let {type T = Int; n = 1 :: T} does not.
yes, local type declarations would be nice (not just for ghci) but that requires serious design work (in the type and module system). See the recent paper on first class modules posted here.
I would like too Haskell to behave like a good interpreter, with self-applicability, dynamic features, like, maybe, some Lisp systems do.
If I want LISP, I use LISP, but most of the time I want strict typing at compile time, and therefore I use Haskell. Sometimes, I end up writing (in Haskell) mini-interpreters (for some domain-specific language). Seems like a reasonable compromise. Best regards, -- -- Johannes Waldmann ---- http://www.informatik.uni-leipzig.de/~joe/ -- -- joe@informatik.uni-leipzig.de -- phone/fax (+49) 341 9732 204/252 --