[Haskell-cafe] Type-Level Programming

Andrew Coppin andrewcoppin at btinternet.com
Mon Jun 28 15:04:06 EDT 2010


>>     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...)



More information about the Haskell-Cafe mailing list