强类型 on Tony Baihttps://tonybai.com/tags/%E5%BC%BA%E7%B1%BB%E5%9E%8B/Recent content in 强类型 on Tony BaiHugozh-cn2004-2026 Tony Bai. 版权所有.Wed, 04 Feb 2026 00:00:00 +0800再见，丑陋的 container/heap！Go 泛型堆 heap/v2 提案解析https://tonybai.com/2026/02/04/goodbye-container-heap-go-generic-heap-heap-v2-proposal/Wed, 04 Feb 2026 00:00:00 +0800https://tonybai.com/2026/02/04/goodbye-container-heap-go-generic-heap-heap-v2-proposal/本文永久链接 – https://tonybai.com/2026/02/04/goodbye-container-heap-go-generic-heap-heap-v2-proposal 大家好，我是Tony Bai。 每一个写过 Go 的开发者，大概都经历过被 container/heap 支配的恐惧。 你需要定义一个切片类型，实现那个包含 5 个方法的 heap.Interface，在 P...Go 的 AI 时代宣言：我们如何用“老”原则，解决“新”问题？https://tonybai.com/2025/12/25/go-next-frontier-gophercon-2025/Thu, 25 Dec 2025 00:00:00 +0800https://tonybai.com/2025/12/25/go-next-frontier-gophercon-2025/本文永久链接 – https://tonybai.com/2025/12/25/go-next-frontier-gophercon-2025 大家好，我是Tony Bai。 “AI 正在重塑软件工程，但它并没有改变软件工程的本质。” 在 GopherCon 2025 上，Go 语言产品负责人 Cameron Balahan 发表了一场题为《Go 的下一个前沿领域》的主题演讲，重点关注了AI 时代...告别懵圈：实战派 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...Hello，Common Lisphttps://tonybai.com/2011/06/21/hello-common-lisp/Tue, 21 Jun 2011 00:00:00 +0800https://tonybai.com/2011/06/21/hello-common-lisp/Paul Graham不愧被誉为Lisp)的超级推手，他的煽动力真的是很强悍。这不才刚刚看完一遍他编写的《黑客与画家》后，我就决定将Common Lisp作为今年计划学习的那门新语言，而且从现在就开始。 去年曾囫囵吞枣般的学习过Haskell，一门通用且庞大的纯函数式编程语言。在惊叹于Haskell如此与众不同且功能强大的同时，也为Haskell Monad那魔鬼般的蹩脚语法所苦恼，而Monad的...