[Haskell-cafe] Proof that Haskell is RT

[Jake Mcarthur]

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

On Nov 12, 2008, at 7:09 AM, Lennart Augustsson wrote:

> It's possible that there's some more direct approach that represents
> types as some kind of runtime values, but nobody (to my knowledge) has
> done that.

I think JHC passes types at runtime, using them in C switch statements  
for overloading, but I don't know if an implementation like that is  
really what we would need for this.

- - Jake
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.8 (Darwin)

iEYEARECAAYFAkka6LcACgkQye5hVyvIUKnlfwCgmpcvghHK9lYd3XwK7sfwARnM
xlYAoLXxw3sz4CNaThaNV9GGsX4ALR/L
=0q26
-----END PGP SIGNATURE-----