2015年7月9日

2015第28周四

摘要： 程序员可以被分为两种：先确认前条件/不变式/终止条件/边界条件，然后写出正确的代码先编写代码，然后通过各种用例/测试/调试对程序进行调整，最后得到似乎正确的代码我个人保守估计前者开发效率至少是后者的10 倍，因为前者不需要浪费大量时间在编码-调试-编码这个极其耗时的循环上。"写代码之前先通过循环不变... 阅读全文

posted @ 2015-07-09 23:46 时间朋友 阅读(226) 评论(0) 推荐(0)

导航