RETURN TO BLOG

#programming-languages

Articles about the design and implementation of programming languages

Unifying Dynamic Type Tests and Type Refinement September 3rd

Some typecheckers understand dynamic type tests, thus avoiding downcasting.

Stackless vs. Stackful Coroutines August 18th

Coroutines can either be stackless or stackful. The terminology is somewhat confusing.

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.