You can’t go back and change the beginning, but you can start where you are and change the ending.
判断两个λ表达式是否等价的问题是无法解决的。
In business, you have to be prepared to take risks, but calculated ones.