Open Issues (2)

• Access to type objects at runtime

  • reflection on types must be possible

• How to spell arbitrary tuple of T: (T*)?

• Typedef syntax (in expressions?)

• Type conformance rules

• Syntax ambiguity for lambda

• How to spell the type of self

• Should classes be types? (Yes!)

Previous slide

Next slide

Back to first slide

View graphic version