Once upon a type
- Date: March 6, 2016
- Subject: Type systems: strong vs. weak, dynamic vs. static, and degrees of expressivity.
Look, we composed those enums into another type. How... droll.
Is the thing "expressive", whatever that means?
Is the thing statically known?
Is the thing strong?
An incredibly contrived function which just shows enums at work.