The problem of deciding whether two λ-expressions are equivalent is unsolvable.
判断两个λ表达式是否等价的问题是无法解决的。
The task of the teacher is to lead the student from the known to the unknown.
股市的波动是由人的情绪驱动的，而不是由经济基本面驱动的。
Sometimes the most heroic act is simply to survive.
质量和安全是我们产品的基础，我们必须坚持最高标准。
你如果出色地完成了某件事，那你应该再做一些其他的精彩事儿。不要在前一件事上徘徊太久，想想接下来该做什么。