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 FIG <[EMAIL PROTECTED]> //\ http://michael.fig.org/ \// _______________________________________________ fonc mailing list fonc@vpri.org http://vpri.org/mailman/listinfo/fonc
