"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.
Here's a couple on typing Smalltalk :-
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.38.4272
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.49.3121
Soft typing (citeseerx'es title is incorrect) :-
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.68.1637
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.
'for' or 'on top of ' or 'underneath' ?
Or have I totally missed the point.
Aaron
_______________________________________________
fonc mailing list
fonc@vpri.org
http://vpri.org/mailman/listinfo/fonc
