I wrote a new article, 谈谈语言的抽象。