在理论计算机科学的领域里,我们常常发现最深刻的见解来自于最简单的想法。
编程语言中最重要的东西是名字。没有好名字的语言不会成功。我最近发明了一个非常好的名字,现在我正在寻找一种合适的语言。