Hakura Matata书评 >
-
编程学习
0有用 0无用 2017-05-23
托马斯·库恩在「科学革命的结构」中提出过这么一个当时让我很惊讶的观点:常规科学不过是致力于求解当前的某一知识领域中留下来的谜题,并非以创新为目标;它的目的不在事实或理论的新颖性。既然如此,一个不以创新为日常工作目标的领域是怎么做到持续的突破更新迭代的呢?答案也正在于这种工作方式本身:公认的理论、稳定...
修改 -
程序(Program)的正确性
0有用 0无用 2017-05-19
怎样证明一个程序是正确的?这是一个普遍被忽略的问题。这并不是说软件开发者们从不考虑这个问题。在一个程序的开发过程中,“正确”是所有其他工作的前提,开发者首先做的是证明程序是可以正确的,然后才来考虑性能、扩展性等等其他的问题,所以程序的正确性是所有有理智的开发者都必然会考虑的问题。对于软件开发,“正确...
修改