https://tonybai.com/tags/behavior/Recent content in Behavior on Tony BaiHugozh-cn2004-2026 Tony Bai. 版权所有.Wed, 27 Aug 2025 00:00:00 +0800https://tonybai.com/2025/08/27/go-interface-embrace-data/Wed, 27 Aug 2025 00:00:00 +0800https://tonybai.com/2025/08/27/go-interface-embrace-data/本文永久链接 – https://tonybai.com/2025/08/27/go-interface-embrace-data 大家好，我是Tony Bai。 在 Go 语言的世界里，接口（interface）一直被视为其设计哲学的基石之一——它只关心一个类型能**做什么**（行为），而不关心它**是什么**（结构）。这种基于方法集的鸭子类型，赋予了 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 ...