百科问答小站 logo
百科问答小站 font logo



如何才能创造一门世界顶尖的中文编程语言? 第1页

  

user avatar   liu-chang-48-89-88 网友的相关建议: 
      

看到了来瞎答一波。传统编译器理论通常分为两个部分,语法检测部分(syntax)负责把一个字符串流parse为AST (Anstract Syntax Tree) ;语义检测部分(semantics)负责分析AST,检查可能的错误,分析可能的优化机会,并生成优化的目标代码(机器码,CLR, JVM等)。

目前的Programming Language的研究与发展主要集中在第二部分。比如我phd导师(Michael Hicks) 在Cornell时候做的cyclone就利用affine type很巧妙的解决了memory safety的问题,直接导致了rust的诞生。这就是type system方面的进步。再比如说llvm就是uiuc当时的一个研究项目,使得各类language有了一个统一的ast格式,使得优化方面的研究进展可以很容易的应用到各个语言。

而相对于semantics的研究使得编译器越来越智能,syntax方面并没有听说什么进展。这是为什么呢?因为关于syntax的问题早在七八十年代就已经被knuth完美的解决了。近几十年的进展也就是python让代码更好读呀; scala让语言的可扩展性增强呀之类的。本质的难点更多的还是在于,syntax提供了方便,那semantic analysis方面多出来的困难怎么解决。so,难点还是在于semantic analysis。

回到这个问题。题主想要造一个中文的语言。如果只是关键字换成中文,it’s all fine。在syntax analysis中,这只是alphabet,从ascii码扩展到utf8 or unicode,核心的问题在七八十年代已经完美解决了。

而题主并没有提出其他要求。syntax是programmer-friendly (like python) or semantic analysis-friendly (like java, coq)?后面的semantics是支持简单的分析来生产高效代码(like llvm)还是支持higher order logic and smt solving ability可以支持复杂的分析推理?

程序分析本身是一个undecidable的problem。所以程序语言设计的核心在于trade off:并没有办法设计一个全能的语言;一定要有侧重;也一定要有取舍。如果题主能给出更多需求的话我们可以深入讨论。




  

相关话题

  是不是机器学习的框架都偏向 Python ?如果是,为什么? 
  为什么c/cpp语言的函数好像没有按照驼峰命名法呢? 
  为什么英语中十一、十二用eleven和twelve? 
  为什么讲英语的发达国家里几乎都没有免费或者廉价的高等教育? 
  为什么大学不教javaScript? 
  为什么现代汉语很少使用敬语、敬称? 
  老大只让用vi写代码该怎么破? 
  低代码开发以后有前景么?会不会最后一地鸡毛? 
  有人说学法语等于外送一门西班牙语。这句话正确吗? 
  为什么国外一些常见问答网站的地址栏中常常就给出了问题题目,相对于像国内一样使用ID来标记而言好在哪里? 

前一个讨论
如何看待郑爽为杭州女子发声?
下一个讨论
如果 ElementUI 不维护了,也不再支持 Vue 3了我们该怎么办呢?





© 2025-04-27 - tinynew.org. All Rights Reserved.
© 2025-04-27 - tinynew.org. 保留所有权利