盘点几款国人设计的中文编程语言，看看有哪些特点？

5、凹语言 —— 国内 Go 开发者设计的实验性编程语言

凹语言™（凹读音 “Wa”）是国内 Go 开发者设计的实验性编程语言。发起者称其为“披着 Go 和 Rust 语法外衣的 C++ 语言”。

例子

项目地址：

6、HVML —— 可编程标记语言

HVML 即 ，能够让熟悉 C/C++ 或其他编程语言的开发者可以通过 HVML 使用 Web 前端技术（如 HTML/SVG/ 和 CSS）轻松开发 GUI 应用程序。

项目地址：

7、 —— 跨平台脚本编程语言

是一门跨平台、开放源代码的动态类型脚本编程语言，具有高效、易懂、可靠的特点，充分吸收了现代编程语言研究的成果，与 C、C++ 等现代语言有良好的可交互性。

项目地址：

8、 —— 缩进语法的 方言

是缩进语法的 方言，基于 Rust 解释执行，支持编译为 *.mjs 使用。

用法示例

:

cr -e 'range 100'

multi-lines :

cr -e 'println '|a demo'->  range 100  map $ fn (x)    * x x'

Run with a .cirru:

cr .cirru -1 # run only .cirru # watch mode by .cirru --init-fn='app.main/main!' # init-fn

项目地址：

9、（蝉语）—— 依赖类型编程语言

（蝉语）是一门依赖类型编程语言，一个交互式定理证明器。蝉语项目主要是为了帮助大众理解开发软件和研究数学事实上是同一类活动，实践这两项活动的人可以相互学习，并以非常好的方式相互帮助。

示例代码

将自然数定义为归纳数据类型 ( )。

datatype Nat {  zero: Nat  add1(prev: Nat): Nat}function add(x: Nat, y: Nat): Nat {  return recursion (x) {    case zero => y    case add1(prev, almost) =>      add1(almost.prev)  }}

项目地址：

10、Aya —— 形式化数学编程语言

Aya 是一种编程语言和证明助手，专为形式化数学和类型导向编程而设计。Aya 的类型系统具有类似于 Arend 的同源性 () 特征、重叠但汇合的模式匹配以及对定义等式 ( ) 的抽象。

项目地址：

11、 —— 可视化块编程语言

是可视化块编程语言，是一门希望通过将编程简化、将业务逻辑可视化的图形化编程语言，语言特性上有 和 的影子，语法层面借鉴了 ，使用 作为语言前端。

项目地址：

12、草蟒 —— 基于 的全中文编程语言

草蟒是 汉化版，开发草蟒的目的是消除英语门槛，提供一种简单自然、易学易用、功能强大、应用广泛的中文编程语言，让普通国人能自由地使用母语进行编程。

示例 ：

# '列表型' 和 '枚举' 函数>>> 水果 =

'香蕉', '苹果'

>>> 水果.追加('梨')>>> 列表型(枚举(水果))

(0, '香蕉'), (1, '苹果'), (2, '梨')

编程语言 项目 Nat 地址 语言 类型