我不能选择那最好的,是那最好的选择我。
λ演算不仅仅是一种形式主义,而是一种可以表达计算的语言。
爱不是一种职业,它是一种状态。