Re: Haskell 2 -- Dependent types?

[Lars Lundgren]

On 18 Feb 1999, Carl R. Witty wrote:

[Snip]
> I fear my previous response to this message was a little hasty and
> overly forceful.  Let me try again.
> 
> I think dependent types are great; I'd love to have the most powerful
> type system possible.  However, I'm also very wary of undecidable type
> checking.

[major snip]

So, if i understand you correctly, you think that:

dependent types are great, BUT

*maybe* it is to hard to generate good error messages.

and

*maybe* typechecking will not work in practice.


I think that maybe you are overly pessimistic.

(Although I realize that it is no trivial task to generate good error
messages, and typecheck efficiently.)

/Lars L