有哪些由中国人开拓的编程措辞？

文章目录 [+]

本期 Awesome 系列给大家先容下中国人主导的编程措辞。

1、洛书 —— 国产中文编程措辞

有哪些由中国人开拓的编程措辞？智能科技

洛书编程措辞旨在打造开源、高效、强大的国产中文编程措辞。

项目地址：https://www.oschina.net/p/losu

2、ReScript —— 类型化 JavaScript

ReScript 是一种强大的类型化措辞，可以编译成高效且可读性高的 JavaScript。
ReScript 包含了一个快速的编译器工具链，可以扩展到任何代码库的大小。

示例代码

ReScript 编写：

module Button = { @react.component let 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; var times = 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、文言 —— 文言文编程措辞

文言（wenyan-lang）是一门采取文言文输入的编程措辞，该措辞不该用英笔墨符，仅包含繁体中笔墨符，并保留繁体引号「」。

项目地址：https://www.oschina.net/p/wenyan-lang

4、Go+ —— 为数据科学而生的编程措辞

Go+ 是一门适用于工程、STEM 教诲和数据科学的编程措辞。
紧张特性包括：静态类型措辞、与 Go 完备兼容、脚本化的风格，以及比 Go 更易于阅读的数据科学代码。

大略比拟：

GoPlus 代码

println [1, 2, 3.4]

Go 代码

package mainimport "fmt"func main() { fmt.Println([]float64{1, 2, 3.4})}

项目地址：https://www.oschina.net/p/goplus

5、凹措辞 —— 海内 Go 开拓者设计的实验性编程措辞

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

例子

项目地址：https://www.oschina.net/p/wa-lang

6、HVML —— 可编程标记措辞

HVML 即 Hybrid Virtual Markup Language，能够让熟习 C/C++ 或其他编程措辞的开拓者可以通过 HVML 利用 Web 前端技能（如 HTML/SVG/MathML 和 CSS）轻松开拓 GUI 运用程序。

项目地址：https://www.oschina.net/p/hvml

7、CovScript —— 跨平台脚本编程措辞

CovScript 是一门跨平台、开放源代码的动态类型脚本编程措辞，具有高效、易懂、可靠的特点，充分接管了当代编程措辞研究的成果，与 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 oncecr 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（蝉语）—— 依赖类型编程措辞

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

示例代码

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

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) }}

项目地址：https://www.oschina.net/p/cicada-lang

10、Aya —— 形式化数学编程措辞

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

项目地址：https://www.oschina.net/p/aya

11、OpenBlock —— 可视化块编程措辞

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

项目地址：https://www.oschina.net/p/openblock

12、草蟒 —— 基于 Python 的全中文编程措辞

草蟒是 Python 汉化版，开拓草蟒的目的是肃清英语门槛，供应一种大略自然、易学易用、功能强大、运用广泛的中文编程措辞，让普通国人能自由地利用母语进行编程。

示例：

# '列表型' 和 '列举' 函数>>> 水果 = ['喷鼻香蕉', '苹果']>>> 水果.追加('梨')>>> 列表型(列举(水果))[(0, '喷鼻香蕉'), (1, '苹果'), (2, '梨')]

项目地址：https://www.oschina.net/p/grasspy