严谨性 on Tony Baihttps://tonybai.com/tags/%E4%B8%A5%E8%B0%A8%E6%80%A7/Recent content in 严谨性 on Tony BaiHugozh-cn2004-2026 Tony Bai. 版权所有.Sun, 30 Nov 2025 00:00:00 +0800Go 编译器崩溃背后：一个 append 函数引发的语言规范修正案https://tonybai.com/2025/11/30/ice-assertion-failed-with-append/Sun, 30 Nov 2025 00:00:00 +0800https://tonybai.com/2025/11/30/ice-assertion-failed-with-append/本文永久链接 – https://tonybai.com/2025/11/30/ice-assertion-failed-with-append 大家好，我是Tony Bai。 在软件开发中，我们有时会遇到一些“显而易见”的错误。对于 Go 开发者而言，append 内建函数的第一个参数必须是切片，似乎就是这样一个“常识”。然而，当一个本应产生清晰编译错误的“常识性”错误，却导致了 Go 1.25...告别懵圈：实战派 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...