Re: Haskell 2 -- Dependent types?

[Fergus Henderson]

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.

So if undecidability per se is used as an argument against any particular
proposal for extending the type system, I think that argument should be
considerd a rather a weak one.

-- 
Fergus Henderson <[EMAIL PROTECTED]>  |  "Binaries may die
WWW: <http://www.cs.mu.oz.au/~fjh>  |   but source code lives forever"
PGP: finger [EMAIL PROTECTED]        |     -- leaked Microsoft memo.