任何大声声明“我是国王”的人,根本当不了真正的王者。
Anyone who loudly proclaims "I am the king" can never be a true king.
函数的概念在数学中是基础的,而λ演算提供了一种形式化这一概念的方法。
The best way to predict the future is to create it.
When you want knowledge like you want air under water then you will get it.
君子不救人,不是没有能力,而是不愿意去做。