λ演算不仅仅是一种形式主义,而是一种可以表达计算的语言。
"The world is a mysterious place, and we are all just trying to find our way through it."
唱歌是我与世界对话的方式。