λ演算不仅仅是一种形式主义,而是一种可以表达计算的语言。
装饰对于德行也同样是格格不入的,因为德行是灵魂的力量和生气。