读书笔记: 程序员的思维修炼

故弄玄虚

<原文开始>语言表达如果过于口号化，就会变得微不足道，并最终完全失去意义。</原文结束> <原文开始>形式方法有其他优点和用途，但是在实现这些目标时不起作用。虽然它可能有助于为较低技能水平的人建立基准规则，但是判断力是无法取代的。</原文结束>