函数的概念在数学中是基础的，而λ演算提供了一种形式化这一概念的方法。

就算你要杀人,礼貌也伤不着你。

In one of the stars I shall be living. In one of them I shall be laughing. And so it will be as if all the stars were laughing, when you look at the sky at night… You-only you-will have stars that can laugh…

解释：凡要谋划一件事，一定要预见到成功的把握，然后才可以去做。

粮食安全的未来蕴藏在海浪之下——前提是我们负责任地养殖。