"History remembers the dates, but biography remembers the days."
λ演算不仅仅是一种形式主义,而是一种可以表达计算的语言。
旅程本身就是回报。