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.
is a computer scientist and software engineer specialized in compiler construction, computer architecture, operating systems and databases.
Comments
So what do you think? Did I miss something? Is any part unclear? Leave your comments below.