每个故事都是一次旅程,每次旅程都是一个故事。
The best books are those that change the way you think.
λ演算不仅仅是一种形式主义,而是一种可以表达计算的语言。
无论多少天空塌陷,我们都得活下去。