判断两个λ表达式是否等价的问题是无法解决的。
每个人都有不为世人所知的秘密悲伤;我们常常称一个人冷漠,而实际上他只是悲伤。
没有听到不如亲耳听到,亲耳听到不如亲眼见到,亲眼见到不如清楚知道,清楚知道不如亲自实践。
"Pressure is a privilege—it means you have an opportunity to do something great."