#kotlin

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.