Quote: static type-checking may not catch type errors due to subclassing a function argument

Quotation Skeleton

Static type-checking limitations can allow programs with obscure … [Figure 5] The assignment x[0]=y [where x and y are of class A] raises a runtime … because an array of class B objects [a superclass of A passed as an argument] cannot store an object of class A. … This program has an illegal assignment of a …   Google-1   Google-2

Copyright clearance needed for quotation.

Related Topics

Topic: dynamic type checking (43 items)
Topic: dynamic vs. static data type (19 items)