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.| dr knz @ work
My friend Nathan and I published an article on the Cockroach Labs Blog: Revisiting SQL typing in CockroachDB. In this article, we explain the type system we implemented for CockroachDB v1.0’s SQL dialect. It implements a large subset of PostgreSQL’s own dialect and performs inference using a …| dr knz @ work
In this part, we will learn how to type simple functions and compound expressions.| Practical ReScript
The first step to getting the type checker to work for you is to understand how it works, what work it can and can't do.| Practical ReScript