P.S. 我对语言研究还是保有很大期望的,虽然,现在因为工作职责的原因,没有时间来做这方面的工作。计算机编程语言研究,本质上是数学集合论的研究。《形式语言,自动机理论与计算导论》中第一章就指出“Languages and problems are really the same thing"。我们现在使用主流的编程语言如Java、C++实现各种数学模型来做机器学习和人工只能的程序,数学模型就是算法,这几年也是因为数学模型的改变才是程序做到更厉害的工作。日本曾花费巨大的搞了第五代语言的研究,结果也并没有什么产出。可见,编程语言研究上的难度。还是希望能有更好的研究结果出现吧。