>If you want a functional scripting language with H-M type inference and
type
>classes and monads, that's great, but maybe it should be something separate
>from Haskell.
I have been promoting Haskell exactly for this purpose for some time now,
and I don't buy your points, e.g that
> in a scripting language, it is desirable to have lots of defaults, etc. so
> that there is as little time as possible between the time you start to
write
> a program and the time you get it running.
Scripting languages should optimize programmer's time,
by making the language small, simple, readable, type-safe, ..
I think that all of Alastair's points help reducing that.
