程序员修炼之道读书笔记 43

Some Things Are Better Done than Described

有些事情，做胜于描述。

Don't Be a Slave to Formal Methods

不要做形式化方法的奴隶。