>>>>> "Magnus" == Magnus Carlsson <[EMAIL PROTECTED]> writes:
> Speaking of the pain of plumbing, a relief could be first class modules. But
> maybe this is too far away from Haskell.
And speaking of first-class modules, are they ever going to make it into
Haskell?
My Top 5 List of Things I Would Like To See In Haskell:
1) applications in type contexts
2) first-class modules via parametrized signatures
3) Unicode character set
4) regular-recursive types without intervening constructors
5) labels for type constructor arguments
[In 5, I mean the ability to treat a constructed type like a record, which is
one of the things Jones mentions in the first-class modules paper -- the
ability to "package up" a list of argument types. This would be useful for
readability even without first-class modules, particularly when composing
monads.]
I was hoping to see some of these in 1.4, but it looks like mostly a
bug-fix release.
--
Frank Christoph Next Solution Co. Tel: 0424-98-1811
[EMAIL PROTECTED] Fax: 0424-98-1500
