Alex Ferguson wrote:
> Now that Haskell 98 is a done deal (for good or for ill -- what on earth
> were people thinking of with 'isAlphaNum'?), can we hope that the committee
> will revisit the Monomorphism Restriction, and somewhat more seriously
> than it's done to date?
I totally agree that th
The trend seems to be define wishes for haskell 2, so here are mine:
We have already accepted undecidable type checking, so why not take a
big step forward, and gain expressive power of a new magnitude, by
extending the type system to allow dependent types.
Cayenne, http://www.cs.chalmers.se/~au
I'm not sure if this can be cleanly done or not. (I've been able to do
it less-than-cleanly.) What I want to do is define a class where the
instance has an option of what type of parameters some of its functions
can accept. For example, say I have
class Foo a where
write :: a -> b -> IO ()
Thi
Fergus Henderson wrote:
> I think there's lots of other things lacking too, including the ability
> to do destructive update (as with the Hugs/ghc ST module, for example),
> optional dynamic typing, existential types, unsafePerformIO, a portable
> foreign language interface, etc.
I agree. What I
I read cayenne.ps and it went somewhat over my head.
I could not get a good sense of when in practice I would really want to use
this. This is not an objection, just a request for explanation...
As far as the type system goes, what would be more useful to me is
something preprocessor functional
Lars Lundgren <[EMAIL PROTECTED]> writes:
> We have already accepted undecidable type checking, so why not take a
> big step forward, and gain expressive power of a new magnitude, by
> extending the type system to allow dependent types.
Wait a minute...who has accepted undecidable type checking?
Now that Haskell 98 is a done deal (for good or for ill -- what on earth
were people thinking of with 'isAlphaNum'?), can we hope that the committee
will revisit the Monomorphism Restriction, and somewhat more seriously
than it's done to date?
Having just wasted an hour or so chasing MR-induced
