Gavin Gray  ·  April 29, 2025Human developers frequently make simple mistakes. Thankfully, type systems do a great job of statically catching simple mistakes and saving developers time. However, as type errors become more complex, developers may spend significant time trying to understand the error message itself. Imagine writing a social media platform in Rust. Say your application has two tables, users and posts, the latter has a field author_id that is a foreign key into the users table. You ...