[Haskell-cafe] Type-Level Programming

[Andrew Coppin]

>>     So is there a specific reason why Haskell isn't dependently typed then?
>>
>> Or you could ask, So is there a specific reason why C isn't a functional
>> language?
>>     
>
> More to the point, Haskell was a bit too frozen in stone when dependent type
> theory reached the point of being implementable.

Right. So, in summary, the answer is "historical circumstance"?

(I was wondering whether it was history or whether it's impossible to 
implement dependantly-typed languages or some other reason or...)