代码的语义在于为逻辑呈现一个方向性的引导，而不是数学上的精确

将枯燥的数学运算隐藏在行文背后，能在调试问题时，通过确定方向来压缩问题的范围

人的大脑不善于运算，却善于选择模式匹配