λ演算本质上是一个关于函数及其应用的理论。
"The only way to get better is to compete against the best."
音乐可以跨越所有界限。