程序员修炼之道四

程序员修炼之道四

 

注重实效的偏执。

 

You can't write the perfect software.

 

Design with contracts

21，通过合约设计

 

注重实效的程序员告诉自己，如果有一个错误，就说明非常，非常糟糕的事情已经发生了。

 

前条件：为了调用该例程，必须为真的条件，在其前条件被违反时，例程决不应该被调用。传递好数据是调用者的责任。

后条件：例程保证会做的事情，例程完成时世界的状态。例程有后条件者一事实意味着它会结束：不允许有循环。