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...)
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
