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