https://tonybai.com/tags/os.file/Recent content in Os.File 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/2021/04/09/ten-commandments-of-go/Fri, 09 Apr 2021 00:00:00 +0800https://tonybai.com/2021/04/09/ten-commandments-of-go/本文永久链接 – https://tonybai.com/2021/04/09/ten-commandments-of-go 本文翻译自John Arundel的《Ten commandments of Go》。全文如下： 作为一名全职的Go语言作家和老师，我花了很多时间和学生们一起，帮助他们写出更清晰、更好、更有用的Go程序。我发现，我给他们的建议可以归纳总结为一套通用原则，在这里我将这些原则分...https://tonybai.com/2021/03/23/io-fs-interface-is-an-excellent-design/Tue, 23 Mar 2021 00:00:00 +0800https://tonybai.com/2021/03/23/io-fs-interface-is-an-excellent-design/1\. 设计io/fs的背景 Go语言的接口是Gopher最喜欢的语法元素之一，其隐式的契约满足和“当前唯一可用的泛型机制”的特质让其成为面向组合编程的强大武器，其存在为Go建立事物抽象奠定了基础，同时也是建立抽象的主要手段。 Go语言从诞生至今，最成功的接口定义之一就是io.Writer和io.Reader接口： type Writer interface { Write(p []byte) (...