14
Коли проводиться тестування типу?
Припустимо, що мова має певну безпеку типу (наприклад, не JavaScript): З огляду на метод, який приймає a SuperType, ми знаємо, що в більшості випадків, коли ми можемо спокуситися виконати тестування типу, щоб вибрати дію: public void DoSomethingTo(SuperType o) { if (o isa SubTypeA) { o.doSomethingA() } else { o.doSomethingB(); } …
53
type-systems