I became a writer to escape the despair of the real world, and enter the world of hope I create with my imagination.
为了逃离现实世界的绝望，我成了作家。然后，我进入了我创造的世界，那个凭借想象创造出来的世界里有希望。
跑步的快乐不在于终点线，而在于旅程。
判断两个λ表达式是否等价的问题是无法解决的。