试图手动推理软件的正确性会导致比代码更长的正式证明,并且比代码更有可能包含错误。自动化工具更好,但并不总是可能…
分类: 学习编程技巧
程序员内功之 14 Code Reviews
你应该做代码审查。为什么?因为它们提高了代码质量并降低了缺陷率。但不一定是因为你可能会想到的原因。 由于他们之…
程序员内功之 13 Code Layout Matters 代码布局事项
几年前,我开发了一个Cobol系统,除非工作人员已经有理由更改代码,否则不允许他们更改缩进,因为有人曾经在行首…
程序员内功之 12 Code Is Design
想象一下,明天醒来,学习建筑业取得了本世纪的突破。数百万廉价、速度惊人的机器人可以用稀薄的空气制造材料,电力成…
程序员内功之 11 域语言代码
想象两个代码库。在其中之一,你遇到了: if (portfolioIdsByTraderId.get(trad…
程序员内功之 10 小心选择您的工具
现代应用程序很少从头开始构建。它们使用现有工具——组件、库和框架——组装起来,原因有很多: 应用程序的规模、复…
程序员内功之 09 在责怪他人之前,先检查一下你的代码
开发人员——我们所有人!——经常很难相信我们自己的代码坏了。这太不可能了,这一次,一定是编译器坏了。 然而,事…
编程问答之 学习编码的更好方法是什么?
看代码 用代码建东西。 加入我们一起学习 QQ群:程序员副业交流 QQ群号:931035409 教程网站:ht…
程序员内功之 08 童子军规则
童子军有一条规则:“总是把露营地留给比你发现的干净。”如果你发现地上一团糟,不管是谁可能搞得一团糟,你都要清理…
程序员内功之 07 当心分享
这是我公司的第一个项目。我刚读完学位,急于证明自己,每天熬夜浏览现有代码。在我完成第一个功能时,我格外小心地将…