The λ-calculus is, in essence, a purely abstract theory of functions.
λ演算本质上是一种纯粹抽象的函数理论。
将计算机带到家里不会改变任何一种,但可能会使角落的轿车焕发活力。
写作是直面自我。
当一个人情绪低落的时候,他会格外地喜欢看日落。
The computer is simply an instrument whose music is ideas.
你知道的越多,你就越意识到你不知道的越多。