6 ms·
Any statically-typed language has this. In pseudo-Java: class Parent {}; class Child extends Parent {}; class Wrapper { Parent foo; } w = ne
by o11c 9mo ago
Any statically-typed language has this. In pseudo-Java:
class Parent {};
class Child extends Parent {};
class Wrapper
{
Parent foo;
}
w = new Wrapper();
w.foo = new Child();
evaluate w.foo;
// static type: Parent
// dynamic type: Child