每一个挑战都是学习和改进的机会。
λ演算本质上是一个关于函数及其应用的理论。
建筑应该是一个活的有机体,而不是僵硬的纪念碑。