λ演算本质上是一个关于函数及其应用的理论。
I'm just a musician, and I want to make music that makes people feel good.