A computer program does what you tell it to do, not what you want it to do.
抽象的目的不是模糊,而是创建一个新的语义层次,在这个层次上可以绝对精确。