Re: Haskell 2 -- Dependent types?

[Lennart Augustsson]

[EMAIL PROTECTED] wrote:
> > enabling types to express all properties you want is, IMO, the right way.
> 
> Why do I feel that there must be another approach to programming?
> 
> How many people do you expect to program in Haskell once you are done adding all
> it takes to "express all imaginable properties through types"? What kind of 
> baroque monster will it be?
I didn't say you had to use it.  If you want to continue programming
in the Haskell style you can.  But if you feel the need to express
properties, the power is there.
It's like assertions; if you don't want them, don't use them.  But if you
are careful you'll use them where there is a need.
But unlike assertions type properties will be checked at compile time.

> Is type really _the_ medium for everything?
It's a good candidate, IMO.  People are putting more and more
into type systems, why not go all the way.

     -- Lennart