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




  

相关话题

  除了汉语以外,还有其他语言用作为天体的「日」「月」来表示时间的吗? 
  程序员行业有哪些越早知道越好的道理? 
  作为非计算机专业的学生,觉得 C 语言远比其他语言易于上手,正常吗? 
  哪些专业名词翻译得特别烂? 
  编程和研究原子弹哪个更难? 
  不同编程语言的转义字符可以通用吗? 
  “Facebook 开发的高性能PHP虚拟机 HHVM 比官方的 PHP解释器 快超过9倍”的说法是否属实? 
  如何用孩子能理解的语言向孩子解释「关键时刻掉链子」是什么? 
  为什么要用字母而不用拼音表示顺序? 
  中国人学习英语为什么要追求「发音标准」? 

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





© 2025-03-13 - tinynew.org. All Rights Reserved.
© 2025-03-13 - tinynew.org. 保留所有权利