> >> I'm interested to see if you can achieve the mixture of dynamism and > >> C compatibilty within the same source language. > > > > Yes, that's a key goal I'm trying to accomplish. I guess time will > > tell.
> Implementing compile time static typing for a runtime typed system is not > that easy. > > So far it looks like there are two main techneques, soft typing and gentle > typing. > > Mixing a C typing system with multimethods or even straight dynamic dispatch > is no mean feat. > > I have been looking into this area and it is far from simple. If anyone has > any leads in this area they would be more than welcome. How difficult is it to implement a straight-forward type checker for C? Since the user has to declare the types of variables and functions is there much left to do? Is it necessary to do any control flow analysis, or is that only for optimization? John _______________________________________________ fonc mailing list fonc@vpri.org http://vpri.org/mailman/listinfo/fonc
