像程序员一样思考：软件工程中的弹性、限制和道德风险

本文探讨了如何构建“好的”软件，不仅指功能完善，还要考虑软件是否适合目标，是否真正满足用户需求。作者从软件的双重属性（制品和系统）出发，讨论了如何构建好的软件制品（领域驱动设计、类型系统、形式化方法、测试）和好的软件系统（“let it crash”、弹性、可观测性）。文章强调了程序员的隐性知识（mētis）在软件开发中的重要性，并指出软件开发本质上是对现实世界的简化和抽象，这种简化必然是失真的。作者批判了“高度现代主义”思想在软件开发中的体现，即试图将现实世界强行纳入软件的框架，而忽略了现实世界的复杂性和多样性。最后，作者呼吁程序员保持谦逊，认识到软件的局限性，并努力构建更灵活、更能适应用户需求的软件。