Re: Haskell 2 -- Dependent types?

[Carl R. Witty]

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?  Are you
talking about the new type class features in GHC?  As far as I know,
those are explicitly documented as experimental, and must be enabled
by a command-line option.  I'm not sure that anybody has "accepted"
undecidable type checking.

Carl Witty
[EMAIL PROTECTED]