The problem of deciding whether two λ-expressions are equivalent is unsolvable.
判断两个λ表达式是否等价的问题是无法解决的。
I don’t believe in luck, I believe in hard work.
建筑太复杂了,不是一个人能解决的。它需要一个团队。
I always try to transform my weaknesses into my strengths.
技术创新的源泉在于能够超越当前的限制,想象出未来的可能性。