世界上最好和最美丽的东西是看不见甚至摸不到的——它们必须用心去感受。
快乐不是拥有得多,而是计较得少。
判断两个λ表达式是否等价的问题是无法解决的。