百科问答小站 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:并没有办法设计一个全能的语言;一定要有侧重;也一定要有取舍。如果题主能给出更多需求的话我们可以深入讨论。




  

相关话题

  在出现事故之前悄悄排除了一个重大BUG,是怎样的一种体验? 
  外国人说汉语可以听出国籍口音吗? 
  如何评价微软给Linux和macOS开发了做web和云应用的新IDE:Code? 
  会说三种以上的语言是种怎样的体验? 
  有谁是单纯地喜欢编程吗? 
  为什么能复原出两千年前的希伯来语,而却无法复原出两千年前的古代汉语呢? 
  你目前写出的最大的 Bug 是怎样的? 
  关于C#和Java对于结构体的保留,孰优孰劣? 
  如何理解 C++11 的六种 memory order? 
  40的程序员,技术达不到分布式能力,编码与思维也明显不如年轻人,这个时候在创业型企业怎么凸显实力? 

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





© 2025-05-25 - tinynew.org. All Rights Reserved.
© 2025-05-25 - tinynew.org. 保留所有权利