判断两个λ表达式是否等价的问题是无法解决的。
I'm not comfortable with comfort. I'm only comfortable when I'm uncomfortable.
世界不是一个需要解决的问题;它是一个我们所属的生命体。
故事不像一条需要跟随的路...它更像一座房子。你走进去并在那里停留一会儿。
你知道的越多,你能创造的越多。你能创造的越多,你能表达的越多。