Hi, "Aaron Gray" <[EMAIL PROTECTED]> writes:
> Have any of you boys looked at the type systems involved to do this > sort of thing ? Would you be so kind as to cite a few references so that I can understand more about these issues? I have some ideas in mind, but it would be very useful to compare and contrast them with existing work. > Implementing compile time static typing for a runtime typed system is > not that easy. But it's not that at all. I'm implementing runtime dynamic typing for a statically typed system i.e. verification, not optimization. Thanks for your reply, -- Michael FIG <[EMAIL PROTECTED]> //\ http://michael.fig.org/ \// _______________________________________________ fonc mailing list fonc@vpri.org http://vpri.org/mailman/listinfo/fonc