当没有人相信你时,你必须相信自己。
You have to believe in yourself when no one else does.
You can’t do anything if you’re not willing to take risks.
I'm not a boy, not yet a man.
λ演算不仅仅是一种形式主义,而是一种可以表达计算的语言。