重新发现过去并发现它不足以应对现在,比让它逃避你并永远成为一个和谐的记忆概念更令人悲伤。
判断两个λ表达式是否等价的问题是无法解决的。
Art is a mirror of society, but it can also be a hammer with which to shape it.