28 Jun
2010
28 Jun
'10
3:14 p.m.
-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 On 6/28/10 15:04 , Andrew Coppin wrote:
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...)
I think you chose to chop off a partial answer to that. -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.9 (Darwin) Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org/ iEYEARECAAYFAkwo9I4ACgkQIn7hlCsL25VeSwCfSwXPHN1iN9RSbvxa31BL+Q0Y nq8AoMf5I13/mGItF5MS08WxSWUsOF0f =hBO8 -----END PGP SIGNATURE-----