λ演算不仅仅是一种形式主义,而是一种可以表达计算的语言。
我一直相信,如果你陷入困境,也许事情进展不顺利,你会变得更强大。生活中的一切都是这样。