Most polymorphism is actually statically determined, and most that isn't is static at compile time is static after program initialization. There is a lot of opt

Most polymorphism is actually statically determined, and most that isn't is static at compile time is static after program initialization. There is a lot of optimization you can do based on this knowledge.