在编程实践中定义变量时，我们所能控制的无非两点：变量类型与变量名。某种程度上，这两者分别考验的其实是开发者的数学水平与语文水平。在今天，即便已经有了非常高大上的类型系统，「名不副实」的变量名仍然经常能对开发者造成困扰。那么，我们有什么理论能用来指导变量命名呢？ 在计算机科学的萌…