[Haskell-cafe] Type-Level Programming
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
> 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