RETURN TO BLOG
Composable, Programmatic Animations for Games
This post describes a method for creating animations in games programmatically, while still retaining composability.
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.