UserID on Tony Baihttps://tonybai.com/tags/userid/Recent content in UserID on Tony BaiHugozh-cn2004-2026 Tony Bai. 版权所有.Sun, 04 Jan 2026 00:00:00 +0800让编译器成为你的副驾驶：告别“防御性编程”，拥抱“类型驱动开发”https://tonybai.com/2026/01/04/stop-lying-to-the-compiler/Sun, 04 Jan 2026 00:00:00 +0800https://tonybai.com/2026/01/04/stop-lying-to-the-compiler/本文永久链接 – https://tonybai.com/2026/01/04/stop-lying-to-the-compiler 大家好，我是Tony Bai。 “半夜被值班的运维同事叫醒，发现生产环境崩了，原因是一个深藏在业务逻辑里的 nil 指针异常。” 这个场景，对于每个后端开发者来说都是挥之不去的噩梦。事后复盘时，我们往往会懊恼：“为什么这里没加 if != nil 判断？”然后，我们...告别懵圈：实战派 Gopher 的类型理论入门https://tonybai.com/2025/10/30/type-theory-intro-for-gopher/Thu, 30 Oct 2025 00:00:00 +0800https://tonybai.com/2025/10/30/type-theory-intro-for-gopher/本文永久链接 – https://tonybai.com/2025/10/30/type-theory-intro-for-gopher 大家好，我是Tony Bai。 你是否曾有过这样的经历：在浏览一个关于 Go 泛型或接口设计的 GitHub issue 或技术提案时，评论区里的大佬们突然开始讨论 “Sum Type”、“Product Type”、“Parametric Polymorphi...