Re: Haskell 2 -- Dependent types?

[Olivier . Lefevre]

[EMAIL PROTECTED] writes:

> 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? Is type really _the_ medium for everything?

-- O.L.