类型检查 on Tony Baihttps://tonybai.com/tags/%E7%B1%BB%E5%9E%8B%E6%A3%80%E6%9F%A5/Recent content in 类型检查 on Tony BaiHugozh-cn2004-2026 Tony Bai. 版权所有.Wed, 06 May 2026 00:00:00 +0800Robert Griesemer 亲述：只解决 90% 问题的“箭头函数”该长什么样？https://tonybai.com/2026/05/06/robert-griesemer-on-go-arrow-functions/Wed, 06 May 2026 00:00:00 +0800https://tonybai.com/2026/05/06/robert-griesemer-on-go-arrow-functions/本文永久链接 – https://tonybai.com/2026/05/06/robert-griesemer-on-go-arrow-functions 大家好，我是Tony Bai。 在 Go 语言的演进史上，很少有一个 Issue 能像 #21498 这样，跨越 9 年时光，累积近千条评论，却依然让官方核心团队如履薄冰。 这个 Issue 的目标很单纯：**为 Go 提供一种更简洁的匿名函...硬核测评：哪门语言最受 AI 宠爱？13 种语言横向对比，Go 表现如何？https://tonybai.com/2026/03/09/hardcore-review-13-languages-ai-favorite-go-performance/Mon, 09 Mar 2026 00:00:00 +0800https://tonybai.com/2026/03/09/hardcore-review-13-languages-ai-favorite-go-performance/本文永久链接 – https://tonybai.com/2026/03/09/hardcore-review-13-languages-ai-favorite-go-performance 大家好，我是Tony Bai。 随着 Claude Code、Gemini Cli、Codex 等 AI 编程工具的全面普及，“让 AI 写代码”已经从极客的玩具变成了日常的生产力。随之而来的是一个触及灵魂的...TypeScript 编译器 Go 重写版提速 10 倍：微软团队深度揭秘幕后工程细节https://tonybai.com/2026/01/27/typescript-compiler-go-rewrite-10x-speed-microsoft-details/Tue, 27 Jan 2026 00:00:00 +0800https://tonybai.com/2026/01/27/typescript-compiler-go-rewrite-10x-speed-microsoft-details/本文永久链接 – https://tonybai.com/2026/01/27/typescript-compiler-go-rewrite-10x-speed-microsoft-details 大家好，我是Tony Bai。 “JavaScript 是一门很棒的语言，但它并不是为了编写编译器而设计的。” 备受瞩目的 TypeScript 编译器 Go 重写版（代号 TypeScript 7.0...Go 泛型再进化：移除类型参数的循环引用限制https://tonybai.com/2025/11/19/proposal-remove-cycle-restriction-for-type-parameters/Wed, 19 Nov 2025 00:00:00 +0800https://tonybai.com/2025/11/19/proposal-remove-cycle-restriction-for-type-parameters/本文永久链接 – https://tonybai.com/2025/11/19/proposal-remove-cycle-restriction-for-type-parameters 大家好，我是Tony Bai。 自 Go 1.18 引入泛型以来，Gopher 们一直在探索其能力的边界。然而，在这片新大陆上，一直存在着一个由语言规范施加的限制，它禁止了一种强大而富有表达力的泛型模式的实现。 ...告别懵圈：实战派 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...