Re: Haskell 2 -- Dependent types?

[Lennart Augustsson]

> 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?
It's actually the template processing that can loop, but it is
sort of part of the type checking.

You can find an article in the POPL 99 proceeding about it.

    -- Lennart