To me programming is more than an important practical art. It is also a gigantic undertaking in the foundations of knowledge.
The notion of truth is not definable in any formal system that is strong enough to include arithmetic.
圣人不期望完全效法古代,不墨守一成不变的旧规。