`:Hi, it is not contradictory there. If you read the whole sentence it states only in ``static`` languages that have the ability to force type resolution at runtime. For those that don't, the comparisons are valid.     `