RETURN TO BLOG

#kotlin


Unifying Dynamic Type Tests and Type Refinement September 3rd

Some typecheckers understand dynamic type tests, thus avoiding downcasting.

Automatically Promoting Constructor Parameters to Fields March 30th

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.