2016
- Exhaustiveness checking in Flow
Flow’s exhaustiveness checking has a gap — but a cast to `empty` gets you the behavior the type system can’t quite express.
- Modeling business problems with ADTs in Flow/js
Tagged unions in Flow turn out to replace the worst part of ORM modeling: the big bag of nullable, secretly-correlated attributes.