λ演算本质上是一个关于函数及其应用的理论。
我现在承担了一项严肃的任务,恐怕这是一项在给定时间内任何人都无法完成的更艰巨的任务——但现在已经来不及回头了。
作家的生活是一种不断被打断的生活。
Life is short, and it's up to you to make it sweet.
我们不害怕未来,我们不害怕过去。