[Haskell-cafe] Type-Level Programming
Brandon S Allbery KF8NH
allbery at ece.cmu.edu
Mon Jun 28 15:14:36 EDT 2010
-----BEGIN PGP SIGNED MESSAGE-----
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/
-----END PGP SIGNATURE-----
More information about the Haskell-Cafe