Architecture is a human act that transforms nature into culture.
The most important thing in a programming language is the name. A language will not succeed without a good name.
最好的领导者是那些多听少说,并向周围每个人学习的人。
判断两个λ表达式是否等价的问题是无法解决的。