分类： 学习编程技巧

试图手动推理软件的正确性会导致比代码更长的正式证明，并且比代码更有可能包含错误。自动化工具更好，但并不总是可能…

你应该做代码审查。为什么？因为它们提高了代码质量并降低了缺陷率。但不一定是因为你可能会想到的原因。 由于他们之…

几年前，我开发了一个Cobol系统，除非工作人员已经有理由更改代码，否则不允许他们更改缩进，因为有人曾经在行首…

想象一下，明天醒来，学习建筑业取得了本世纪的突破。数百万廉价、速度惊人的机器人可以用稀薄的空气制造材料，电力成…

想象两个代码库。在其中之一，你遇到了： if (portfolioIdsByTraderId.get(trad…

现代应用程序很少从头开始构建。它们使用现有工具——组件、库和框架——组装起来，原因有很多： 应用程序的规模、复…

开发人员——我们所有人！——经常很难相信我们自己的代码坏了。这太不可能了，这一次，一定是编译器坏了。 然而，事…

童子军有一条规则：“总是把露营地留给比你发现的干净。”如果你发现地上一团糟，不管是谁可能搞得一团糟，你都要清理…

这是我公司的第一个项目。我刚读完学位，急于证明自己，每天熬夜浏览现有代码。在我完成第一个功能时，我格外小心地将…