The λ-calculus is, in essence, a purely abstract theory of functions.
λ演算本质上是一种纯粹抽象的函数理论。
技术应该赋能工人,而不是取代他们。
如果我不是生为拿破仑,那我就想生为亚历山大。
我是个南方女孩...我爱吃!
"A good programmer is not one who knows all the answers, but one who knows how to find them."
I don't know what's tighter, my jeans or my security.
物理学的美丽在于它能够用如此简单而优雅的数学来描述宇宙。