公司出品 | OSC街道社区（ID：OSCHINA_2013）

下期 Awesome 系列产品给我们如是说下中国人主导力量的C词汇。

1、河图洛书 —— 升级换代英文C词汇

河图洛书C词汇意在打造出开放源码、高效率、强悍的升级换代英文C词汇。

工程项目门牌号：https://www.oschina.net/p/losu

2、ReScript —— 风格化 JavaScript

ReScript 是一类强悍的风格化词汇，能载入高效率且时效性高的 JavaScript。ReScript 包涵了两个加速的C++辅助工具链，能扩展到任何人标识符库的大小不一。

实例标识符

ReScript 撰写：

module Button= { @react.componentlet make = (~count: int) => { let times = switch count { | 1 => “once” | 2 => “twice” | n => Belt.Int.toString(n) ++” times” } let msg = “Click me “ ++ times <button> {msg->React.string} </button> } }

编译为 JavaScript：

var React = require(“react”); function Playground$Button(Props) { var count = Props.count; vartimes = count !==1 ? ( count !== 2 ? String(count) + ” times” : “twice” ) : “once”; var msg = “Click me “+ times;return React.createElement(“button”, undefined, msg); } var Button = { make: Playground$Button }; exports.Button = Button;

工程项目门牌号：https://www.oschina.net/p/rescript

3、文言 —— 文言文C词汇

文言（wenyan-lang）是一门采用文言文输入的C词汇，该词汇不使用英文字符，仅包涵繁体英文字符，并保留繁体引号「」。

工程项目门牌号：https://www.oschina.net/p/wenyan-lang

4、Go+ —— 为数据科学而生的C词汇

Go+ 是一门适用于工程、STEM 教育和数据科学的C词汇。主要特性包括：静态类型词汇、与 Go 完全兼容、脚本化的风格，以及比 Go 更易于阅读的数据科学标识符。

简单对比：

GoPlus 标识符

println [1, 2, 3.4]

Go 标识符

package main import “fmt” func main() { fmt.Println([]float64{1, 2, 3.4}) }

工程项目门牌号：https://www.oschina.net/p/goplus

5、凹词汇 —— 国内 Go 合作开发者设计的实验性C词汇

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

例子

工程项目门牌号：https://www.oschina.net/p/wa-lang

6、HVML —— 可编程标记词汇

HVML 即 Hybrid Virtual Markup Language，能够让熟悉 C/C++ 或其他C词汇的合作开发者能通过 HVML 使用 Web 前端技术（如 HTML/SVG/MathML 和 CSS）轻松合作开发 GUI 应用程序。

工程项目门牌号：https://www.oschina.net/p/hvml

7、CovScript —— 跨平台脚本C词汇

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

工程项目门牌号：https://www.oschina.net/p/covscript

8、Calcit —— 缩进语法的 Clojure 方言

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

用法实例

Snippets evaling:

cr -e range 100

multi-lines snippet:

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

Run with a compact.cirru:

cr compact.cirru –1 # run only once cr compact.cirru # watch mode enabled by defaultcr compact.cirru —init-fn=app.main/main! # specifying init-fn

工程项目门牌号：https://www.oschina.net/p/calcit-lang

9、Cicada（蝉语）—— 依赖类型C词汇

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

实例标识符

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

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

工程项目门牌号：https://www.oschina.net/p/cicada-lang

10、Aya —— 形式化数学C词汇