https://hex4c59.cc/topics/software-design/用逐步变化的小程序比较抽象、契约与模块边界，再用测试、重构和持久化检查设计判断。zh-cn