生产者 on Tony Baihttps://tonybai.com/tags/%E7%94%9F%E4%BA%A7%E8%80%85/Recent content in 生产者 on Tony BaiHugozh-cn2004-2026 Tony Bai. 版权所有.Wed, 14 Jan 2026 00:00:00 +0800Go 的“显式哲学”为何在接口上“食言”了？—— 探秘隐式接口背后的设计智慧https://tonybai.com/2026/01/14/go-explicit-philosophy-implicit-interfaces-design-wisdom/Wed, 14 Jan 2026 00:00:00 +0800https://tonybai.com/2026/01/14/go-explicit-philosophy-implicit-interfaces-design-wisdom/本文永久链接 – https://tonybai.com/2026/01/14/go-explicit-philosophy-implicit-interfaces-design-wisdom 大家好，我是Tony Bai。 “Go 倾向于显式、冗长的代码，而不是‘魔法’。那么，为什么接口实现却是**隐式**的呢？这让理解代码变得困难多了，简直让我抓狂。” 前不久，一位 Gopher 在 Redd...使用TLA+形式化验证Go并发程序https://tonybai.com/2024/08/05/formally-verify-concurrent-go-programs-using-tla-plus/Mon, 05 Aug 2024 00:00:00 +0800https://tonybai.com/2024/08/05/formally-verify-concurrent-go-programs-using-tla-plus/本文永久链接 – https://tonybai.com/2024/08/05/formally-verify-concurrent-go-programs-using-tla-plus > Writing is nature’s way of letting you know how sloppy your thinking is – Guindon 在2024年6月份举办的GopherCon ...有效表达软件架构的最小图集https://tonybai.com/2023/12/06/a-minimum-set-of-diagrams-for-expressing-software-architecture/Wed, 06 Dec 2023 00:00:00 +0800https://tonybai.com/2023/12/06/a-minimum-set-of-diagrams-for-expressing-software-architecture/本文永久链接 – https://tonybai.com/2023/12/06/a-minimum-set-of-diagrams-for-expressing-software-architecture 无论你是专职的软件架构师，还是在团队内兼职充当软件架构师角色的开发人员，一旦你处在软件架构师这个位置上，你自然就会遇到软件架构设计的三个困惑： * 如何更深刻地理解业务； * 如何更正确地取舍(...同步问题讨论-Tony与Alex的对话系列https://tonybai.com/2005/06/09/tony-alex-dialog-on-synchronization/Thu, 09 Jun 2005 00:00:00 +0800https://tonybai.com/2005/06/09/tony-alex-dialog-on-synchronization/Alex正在电脑前面作冥思苦想状，这时Tony悄悄地走到Alex的身后，观察了一会儿… Tony : 看来今天我们要讨论同步问题了。 Alex : （惊奇地回头）。Hey Man , you scared me! 你说的没错，我正在学习同步这一块儿呢，有什么高见不妨说出来吧，我洗耳恭听！ Tony : 不敢不敢。关于进程和线程同步的问题，W. Richard Stevens在他的那本经典的“UNI...