Re: Haskell 2 -- Dependent types?

[Carl R. Witty]

Fergus Henderson <[EMAIL PROTECTED]> writes:

> On 16-Feb-1999, Carl R. Witty <[EMAIL PROTECTED]> wrote:
> > I'm not sure that anybody has "accepted" undecidable type checking.
> 
> I think it's becoming clear by now that the theoretical disadvantages
> of undecidable type checking are often not significant in practice.
> Experience with C++, Gofer, ghc, Mercury, etc. all seems to confirm this.

OK, I'm curious.  Two people replied that C++ has undecidable type
checking.  I was not aware of this (although I can't say I'm too
surprised); do you have a reference?

Thanks,

Carl Witty
[EMAIL PROTECTED]