设计动机
本文保留旧文档中仍不过时的动机、理念和展望说明;已过时的语法教程内容不再放在这里。
设计理念
豫言中文编程语言以中文编程为核心,以现代化编译器框架LLVM为基础,吸取函数式编程领域数十年来的语言设计经验,自主研发,实现了从顶部语法,编译设计,代码生成的全中文编程环境。豫言编译器将全中文的源码,通过一系列编译步骤,生成了完全使用中文标识符LLVM后端码,最终由LLVM编译器框架生成后端执行程序。豫言编译器本身也使用了豫言编程语言实现,证明了豫言语言设计可以被用来构建大型程序,是众多编程语言以外企业和个人的又一项选择。
核心特征
与其他语言相比,豫言有着独特的风格。与其余大部分中文编程语言相比,豫言以函数式编程为基础,采用静态类型系统,支持参数多态、代数数据构造、模式匹配以及显式和隐式函数。当前类型参数的定义域限于元类型,不再把已经移除的依值类型机制作为现有特性。与同类型的英文编程语言相比,豫言尝试减少语言学习中的英文门槛,并让这些编程范式拥有更直接的中文表达。
历史展望
豫言编程语言不是第一个,也不会是最后一个中文编程语言,我们已经看到有新的中文编程语言(例如入墨答语言)借用了豫言编程语言中的一些设计。我们希望全新设计的豫言编程语言成为集当今优秀的编程语言设计于一体,能够兼顾工业生产、人才教育、科学研究的一门编程语言。未来一定会有新的编程语言出现,我们希望通过豫言成为他们设计时的可靠参考。
为何设计中文编程语言
中文有源远流长的历史,丰富的文化内涵。这样一门语言,在科技上仍然看不到广泛的使用,定有其特殊的原因。中文编程语言的设计虽然经历了照搬翻译英文关键字,自主设计语法,到使用本土表达的发展阶段,但目前仍有实用方面未能够解决的问题。我希望借本项目,探索中文在编程语言设计领域的各种问题,最终展现中文在编程语言行业的魅力。
教程寄语
豫言是一门极简单又深入的语言。我们与大家分享我在豫言编程语言设计方面的思考,希望以此在中文编程语言的设计上继往开来,推陈出新。如有错误不周之处,恳请读者予以斧正。