On 12/6/2013 3:06 PM, Maxim Fomin wrote:
and what about holes in immutable, pure and rest type system?
If there are bugs in the type system, then that optimization breaks.
C doesn't have virtual functions.
Right, but you can (and people do) fake virtual functions with tables of function pointers. No, C doesn't devirtualize those.
By the way, does D devirtualize them?
It does for classes/methods marked 'final' and also in cases where it can statically tell that a class instance is the most derived type.
