I published an article on the Cockroach Labs Blog: Squashing a Schrödinbug With Strong Typing. In this article, I explain how I discovered a bug in CockroachDB whose existence was enabled by Go’s lack of proper algebraic data types. Also available via the Wayback Machine.
