我不想成为明星,我想成为传奇。
我不相信幸福的结局。生活不是那样的。
λ演算不仅仅是一种形式主义,而是一种可以表达计算的语言。