Isn't this essentially comparing switch/jmp table to a vtable? The switch/jmp table can be optimized to be inline, vtable will likely incur a stack frame, plus

Isn't this essentially comparing switch/jmp table to a vtable? The switch/jmp table can be optimized to be inline, vtable will likely incur a stack frame, plus usually 3 indirections. When you have a closed set of types, then you know all cases for branching, in polymorphism you lose this power -- it's open ended. This is another reason why languages should have exhaustive pattern matching with sum types.