To further the discussion on reflection and metaprogramming, it's probably worth looking at the very ambitious and powerful Ur language designed by Adam Chlipala:
http://adam.chlipala.net/papers/UrPLDI10/ He discusses type-level computation and surveys existing work along with his development of Ur/Web, a web framework of sorts that permits exposing Ur objects over the web. Sandro _______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
