我们总是希望在我们的程序中要说的是，所有已知语言都只能说得不好。
There will always be things we wish to say in our programs that in all known languages can only be said poorly.
Great things in business are never done by one person; they're done by a team of people.
判断两个λ表达式是否等价的问题是无法解决的。
赢的唯一方法就是受苦。
我的作品是我对世界的观察。
沉默越深，内心的声音就越响亮。
"I believe in the power of collaboration. The best films come from a team that truly works together."
真正的领导力在于以诚信做出艰难的决定。
To say goodbye is to die a little.