判断两个λ表达式是否等价的问题是无法解决的。
作家最伟大的工具不是笔,而是通过他人的眼睛看世界的能力。
这个世界会打击每一个人,但经历过后,有些人会在受伤的地方变得更坚强。