2.2 Bottom line

The bottom line is that with a non-polymorphic type, everything (type checking, casting, etc.) is done at compile time. In other words, the C equivalent code has no indirect function call. We know exactly which subroutine is called by compile time.