And I am also proposing that NekoVM should add support for interface declarations on builtins. Then HLLs can scalably interopt, by exposing their interfaces in common data type layer. I do not see how you can possibly get scalable interoption without?
Interoperability at the OO level is hard to achieve, especially since all OO languages have they own OO features. NekoVM does not do much to help there, it just let you do all the operator overrides and give you a runtime on which you can emulate efficiently enough the different OO features a given language have (which is already difficult enough).
The other option is something like .Net which have a very complex OO system on which a lot of languages can plug. I prefer a more single OO-agnostic model like NekoVM on which everybody can build their own features.
Nicolas -- Neko : One VM to run them all (http://nekovm.org)
