Monad on Tony Baihttps://tonybai.com/tags/monad/Recent content in Monad on Tony BaiHugozh-cn2004-2026 Tony Bai. 版权所有.Fri, 16 Jan 2026 00:00:00 +0800为什么 Go 社区强调避免不必要的抽象？—— 借用海德格尔哲学寻找“正确”的答案https://tonybai.com/2026/01/16/go-community-the-right-kind-of-abstraction/Fri, 16 Jan 2026 00:00:00 +0800https://tonybai.com/2026/01/16/go-community-the-right-kind-of-abstraction/本文永久链接 – https://tonybai.com/2026/01/16/go-community-the-right-kind-of-abstraction 大家好，我是Tony Bai。 **“Go 的哲学强调避免不必要的抽象。”** 这句话我们听过无数次。当你试图引入 ORM、泛型 Map/Reduce 、接口或者复杂的设计模式时，往往会收到这样的反馈。这句话本身没有错，但难点在于：*...为什么 Go 在悄悄地做 Rust 做不到的事：保持简单https://tonybai.com/2025/11/21/why-go-is-quietly-doing-what-rust-couldnt-staying-simple/Fri, 21 Nov 2025 00:00:00 +0800https://tonybai.com/2025/11/21/why-go-is-quietly-doing-what-rust-couldnt-staying-simple/本文永久链接 – https://tonybai.com/2025/11/21/why-go-is-quietly-doing-what-rust-couldnt-staying-simple 大家好，我是Tony Bai。 近日，一篇题为《为什么 Zig 在悄悄地做 Rust 做不到的事：保持简单》的文章在开发者社区引发了热议。文章以其辛辣、富有煽动性的文风，将 Zig 描绘成 Rust 复杂性...告别懵圈：实战派 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...通过Go示例理解函数式编程思维https://tonybai.com/2024/08/11/understand-functional-programming-in-go/Sun, 11 Aug 2024 00:00:00 +0800https://tonybai.com/2024/08/11/understand-functional-programming-in-go/本文永久链接 – https://tonybai.com/2024/08/11/understand-functional-programming-in-go > 一个孩子要尝试10次、20次才肯接受一种新的食物，我们接受一种新的范式，大概不会比这个简单。– 郭晓刚 《函数式编程思维》译者 函数式编程(Functional Programming, 简称fp)是一种编程范式，与命令式编程(Impe...关于编程语言学习的一些体会https://tonybai.com/2013/10/22/some-experience-about-learning-programming-language/Tue, 22 Oct 2013 00:00:00 +0800https://tonybai.com/2013/10/22/some-experience-about-learning-programming-language/_Learn at least one _new language every year_.                                               — Andy Hunt and Dave Thomas_ 自己一直是“每年学习一门新语言”的忠实拥趸，曾先后认真地学习了Haskell、Common Lisp、Python、Go等语言，对Prolog、Scala、...