GopherCon 2025: Compile Time Errors My Belovéd - Branden J Brown

Why watch

This GopherCon 2025 talk demonstrates how to leverage Go's compiler and type system to create compile-time proofs of correctness. Branden J Brown explores turning type errors into powerful verification tools, showing how to automatically detect when code or tests need updates as definitions change. Ideal for Go developers looking to write more reliable, self-verifying code.