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]
- Re: Haskell 2 -- Dependent types? Lennart Augustsson
- RE: Haskell 2 -- Dependent types? michael abbott
- 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