https://tonybai.com/tags/%E9%87%8D%E8%BD%BD/Recent content in 重载 on Tony BaiHugozh-cn2004-2026 Tony Bai. 版权所有.Thu, 30 Oct 2025 00:00:00 +0800https://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...https://tonybai.com/2020/11/26/slice-sort-in-go/Thu, 26 Nov 2020 00:00:00 +0800https://tonybai.com/2020/11/26/slice-sort-in-go/本文首发于“Gopher部落”知识星球！ **切片**是Go语言中引入的用于在大多数场合替代数组的语法元素。切片是长度可变的同类型元素序列，它不支持存储不同类型的元素，当然如果你非用**sl := \[\]interface{}{“hello”, 11, 3.14}**来抬杠^\_^，那就另当别论。 **有序列的地方就有排序的需求**。在各种排序算法都已经成熟的今天，我们完全可以针对特定元素类型的...