It is the duty of a student to get everything out of a teacher， and the duty of a teacher to get everything out of a student.

λ演算的基本概念是函数，被视为一种对应规则。

Financial support for the real economy should be precise and effective.

The most important thing in the programming language is the name. A language will not succeed without a good name.

科学必须是世界上的一股善的力量。

There is one god, greatest among gods and men, in no way similar to mortals either in body or in thought.