λ演算本质上是一个关于函数及其应用的理论。

Writing is the only thing that, when I do it, I don't feel I should be doing something else.

有时候你必须先输才能赢。

 一个词的意义不是心智实体，而是社会实践。

大疆的成功不是偶然的，而是我们对产品极致追求的必然结果。

实现明天的唯一限制是我们今天的疑虑。

只要最后能随我所愿，我就会极有耐心。