"Training a hawk is a dialogue, not a monologue."
训练一只鹰是一场对话，而不是独白。
You miss 100% of the shots you don't take.
I'm a failed poet. Maybe every novelist wants to write poetry first, finds he can't, and then tries the short story, which is the most demanding form after poetry. And, failing at that, only then does he take up novel writing.
The future depends on what you do today.
判断两个λ表达式是否等价的问题是无法解决的。