AbstractRuntime Type Information (RTTI) has a cost, but it is a tame cost compared to Compile-Time Type Information (CTTI), which is sold as "zero-cost", and it is anything but.RTTI's tables are a linear cost in the number of types (N types -> N entries), single cost.The use of RTTI is a fixed constant cost, one procedure iterating over one table, no matter how many types exist.RTTI is effectively zero additional cost during semantic-checking, because there is nothing to specialize.CTTI does not necessarily need any extra tables, but usual...