强类型系统 on Tony Baihttps://tonybai.com/tags/%E5%BC%BA%E7%B1%BB%E5%9E%8B%E7%B3%BB%E7%BB%9F/Recent content in 强类型系统 on Tony BaiHugozh-cn2004-2026 Tony Bai. 版权所有.Sat, 13 Dec 2025 00:00:00 +0800跨越20年的对话：从 Eiffel 的“契约”到 Go 的“接口”https://tonybai.com/2025/12/13/from-eiffel-contract-to-go-interface/Sat, 13 Dec 2025 00:00:00 +0800https://tonybai.com/2025/12/13/from-eiffel-contract-to-go-interface/本文永久链接 – https://tonybai.com/2025/12/13/from-eiffel-contract-to-go-interface 大家好，我是Tony Bai。 20年前，当我第一次翻开 Bertrand Meyer 的那本巨著**《面向对象软件构造》(Object-Oriented Software Construction)** 时，一种醍醐灌顶的感觉油然而生。书中那个...