[Haskell-cafe] Type-Level Programming

[Brandon S Allbery KF8NH]

-----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-----