> 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
- Re: Haskell 2 -- Dependent types? Lennart Augustsson
- Re: Haskell 2 -- Dependent types? Lars Lundgren
- RE: Haskell 2 -- Dependent types? D. Tweed
- Re: Haskell 2 -- Dependent types? Fergus Henderson
- Re: Haskell 2 -- Dependent types? George Beshers
- Re: Haskell 2 -- Dependent types? Thomas Hallgren
- Re: Haskell 2 -- Dependent types? Josef Sveningsson
- Re: Haskell 2 -- Dependent types? Carl R. Witty
- Re: Haskell 2 -- Dependent types? Carl R. Witty
- Re: Haskell 2 -- Dependent types? Fergus Henderson
- Re: Haskell 2 -- Dependent types? Lennart Augustsson
- Re: Haskell 2 -- Dependent types? Andrew Moran
- Re: Haskell 2 -- Dependent types? Lennart Augustsson
- Re: Haskell 2 -- Dependent types? Lars Lundgren
- Re: Haskell 2 -- Dependent types? Carl R. Witty
- Re: Haskell 2 -- Dependent types? Lennart Augustsson
- RE: Haskell 2 -- Dependent types? Nick Kallen
- Re: Haskell 2 -- Dependent types? Lennart Augustsson
- Re: Haskell 2 -- Dependent types? Fergus Henderson
- RE: Haskell 2 -- Dependent types? Nick Kallen
- RE: Haskell 2 -- Dependent types? Nick Kallen