Michael FIG wrote: > Hi, > > Colin Putney <[EMAIL PROTECTED]> writes: > >> On 16-Sep-08, at 6:16 AM, Aaron Gray wrote: >> >>>> But it's not that at all. I'm implementing runtime dynamic typing >>>> for >>>> a statically typed system i.e. verification, not optimization. >>> 'for' or 'on top of ' or 'underneath' ? > > The normal C "static typing" will be only in the source language. The > "dynamic typing" is underneath, at runtime. > >> If I understand correctly, he's basically extending C. So it's adding >> runtime type information and the ability to reflect on it to a system >> that already has static, manifest typing. That ought to be easier than >> type inference. > > That's exactly correct. >
Michael, You might find the macro and dynamic specialization features in 'C and tcc applicable for Ocean: `C and tcc: a language and compiler for dynamic code generation http://portal.acm.org/citation.cfm?id=316686.316697&coll=Portal&dl=ACM&CFID=3175483&CFTOKEN=37590449 tcc: a system for fast, flexible, and high-level dynamic code generation http://portal.acm.org/citation.cfm?id=258915.258926&coll=Portal&dl=ACM&CFID=3175483&CFTOKEN=37590449 Let me know if you don't have access to ACM Portal PDFs. Kurt _______________________________________________ fonc mailing list fonc@vpri.org http://vpri.org/mailman/listinfo/fonc