[<<][staapl][>>][..]
Thu Apr 16 20:24:59 CEST 2009

restating the question

So the real question is: can we build a typed metaprogramming system
from the ground up?

     types + abstract interpretation

     module system for instantiating generic code + some formalism to
     think about names. (forth + functors?)



        instantiation
module --------------> package

          application
function ------------> value




[Reply][About]
[<<][staapl][>>][..]