RETURN TO BLOG
Unifying Dynamic Type Tests and Type Refinement
Some typecheckers understand dynamic type tests, thus avoiding downcasting.
Automatically Promoting Constructor Parameters to Fields
When writing object-oriented code, you frequently want a constructor that takes in values and assigns them to object fields. Some languages reduce the repetition required for this.