In times of crisis, the true character of a company—and its leaders—is revealed.
λ演算本质上是一种纯粹抽象的函数理论。
The health of our oceans reflects the health of our planet. We must act now to protect both.
A good abstraction is one that emphasizes the essential and suppresses the irrelevant.