search for: omega_sub

...multi-language libraries to be developed in any language, and then distributed as llvm IR. (The other major necessity is an accurate and high-performance garbage collector, but the intrinsics for that are already in place.) Is anyone on this list familiar with System F, System F_sub, or System F^\omega_sub? They comprise the basic, standard theories of parametric polymorphism used in the academic world, and have been around for about 20 years. You can obviously get more sophisticated, but the System-F series of calculi have the advantage that they are simple, well-known, off-the-shelf solutions. P...

...confuse anything that happens to be looking at the types, which I assume is almost every compiler pass. I'm not familiar with llvm internals, so I don't have a good sense of the scale of the change. >> Is anyone on this list familiar with System F, System F_sub, or System >> F^\omega_sub?... Pick one, plug it into llvm, and you have a type >> system that can compete with the JVM or .NET in terms of functionality, >> without being OOP centric or sacrificing language neutrality. (System F is >> low-level -- OOP can be easily implemented on top of it). > > Sou...