编程语言中最重要的东西是名字。没有好名字,语言就不会成功。
单子是不可分割的实体,是构成世界的基本元素。