Success is no accident. It is hard work, perseverance, learning, studying, sacrifice and most of all, love of what you are doing or learning to do.
λ演算不仅仅是一种形式主义，而是一种可以表达计算的语言。
Quality is remembered long after price is forgotten.
When you are stuck， explain your problem to others. Often simply laying out a problem will present a solution. Make “explaining the problem” part of your troubleshooting process.
Love is the principle of unity and cohesion, Strife is the force of separation and disintegration.”
I respect all my opponents because they make me better.