fix typo

intro.md

@@ -34,7 +34,7 @@
 
 视角转回到个体，不管你是否接受，软件行业解决问题的技术一直在变化。
 
-并且这种变化并不是平缓的升级，而是剧烈的革新替代。例如，容器取代虚拟机，服务网格取代 Spring Cloud，观测替代监控，Network Policy 替代 iptables 等等，这种革新替代导致软件开发中许多习以为常的假设全被打破。剧烈变化的背景下，如果我们只专注于手头的工作，不抬头看天，大革命来临的时候，之前关注的细节可能再也没有意义。
+并且这种变化并不是平缓的升级，而是剧烈的革新替代。例如，容器替代虚拟机，服务网格替代 Spring Cloud，观测替代监控，Network Policy 替代 iptables 等等，这种替代导致软件开发中许多习以为常的假设全被打破。剧烈变化的背景下，如果我们只专注于手头的工作，不抬头看天，大革命来临的时候，之前关注的细节可能再也没有意义。
 
 所以，本书很少描述某个软件如何安装、如何使用，而更关注问题的本质。本书将深入探讨不同解决方案的设计选择，剖析核心原理，并尝试揭示技术发展的规律。例如，网络优化受限于物理世界的约束，分布式系统的演进则是对 CAP 定理的权衡，受时间和空间法则的制约。近几年流行的容器、服务网格也不是什么黑科技，只是把计算机的基本原理、方法重新组合，换种形式解决业务变化带来的新问题。