John Harrison wrote (1995) that reflection hasn't proven very useful in practice and it has workarounds in higher order logic: http://www.cl.cam.ac.uk/~jrh13/papers/reflect.ps.gz
But in 2005 he said that "[...] Still some more impressive applications of reflection are starting to appear": http://www.cl.cam.ac.uk/~jrh13/slides/wg23-07jun05/slides.pdf What are these more impressive applications? Thanks a lot. Reza. ------------------------------------------------------------------------------ Come build with us! The BlackBerry(R) Developer Conference in SF, CA is the only developer event you need to attend this year. Jumpstart your developing skills, take BlackBerry mobile applications to market and stay ahead of the curve. Join us from November 9 - 12, 2009. Register now! http://p.sf.net/sfu/devconference _______________________________________________ hol-info mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/hol-info
