[Haskell-cafe] Proof that Haskell is RT
jake at pikewerks.com
Wed Nov 12 09:31:19 EST 2008
-----BEGIN PGP SIGNED MESSAGE-----
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)
-----END PGP SIGNATURE-----
More information about the Haskell-Cafe