search for: f_omega

...'s the catch? ;-) As far as I'm concerned, there is no catch, aside from the work required to make it happen. The biggest technical problem is that type specialization can be implemented in a couple of different ways, and there are different time/space tradeoffs for each technique. System F_omega tells you how to do type-checking with parameterized types; it doesn't tell you how to generate efficient code. If the actual specialization was encapsulated within a separate pass, then different languages could use whatever technique was most appropriate. Unfortunately, different techniques...