Open Issues (1)

• A subclass is not always a subtype!

  • int is a subtype of any, but [int] not of [any]
  • similar for parameterized classes

• Dynamic cast or typecase statement?

• Should we declare exceptions? How?

• How much type inference is needed?

• Interface declarations?

• var=default:type -or- var:type=default?

Previous slide

Next slide

Back to first slide

View graphic version