09-14
写软件的十一条原则：先数据，后代码
作者列出自己构建软件时遵循的一组原则，主线是让系统更简单：让非法状态无法表示、保证数据一致性、先设计数据再写代码、测量之后再优化。文中用一个数据库例子说明不一致的代价——必须保持 x=y 的两个布尔变量一旦拆到不同库、无法原子更新，数据就多出两种状态，toggle 函数在这些状态下没有正确答案。作者认为一致性是当下最被低估的工程原则，多数问题本质上都是数据不符合预期；他同时主张代码一致性优先于局部「正确」，学习应聚焦 concepts（关系模型、代数数据类型、borrow checker、Curry-Howard 同构）而非 React、Kubernetes 的表层细节。适合做后端与数据系统设计、正在权衡微服务拆分和 schema 取舍的工程师。