Q+ LANGUAGE · OPEN SOURCE

为工业软件而生的
系统级语言

Q+ 是一个静态类型、自举编译的系统级编程语言:字节码 VM 与 x86-64 原生 AOT 双路径、同一语义,Apache-2.0 开源。从语言规范到发布工程,全部公开、可验证。

SPEC v4.611.30.0-DEVApache-2.0124 页文档
src/examples/arith_sum.q
fn arith(n: i32) -> i32 {
    let s: i32 = 0
    let i: i32 = 1
    while i <= n {
        s = s + i
        i = i + 1
    }
    return s
}

fn main() -> i32 {
    print(arith(100))
    return 0
}
01 / QUICK START

三步开始

需要 Linux x86-64、gcc 与 git。完整说明见文档《快速开始》。

终端 · 获取源码与构建
git clone https://qplus.xinghant.cn/git/qplus-language.git
cd qplus-language
tools/build.sh

# 编译并运行第一个 Q+ 程序
build/bqvm build/qboot.qbc src/examples/arith_sum.q -o /tmp/arith_sum.qbc
build/bqvm /tmp/arith_sum.qbc
1. 克隆仓库

源码、编译器、标准库与文档在同一仓库,git clone 即可获得全部内容。

2. 构建工具链

tools/build.sh 会构建 bqvm 字节码虚拟机并自举生成 qboot.qbc。

3. 运行示例

用 bqvm 编译并执行 src/examples 下的 193 个示例程序。

阅读完整快速开始 →
03 / ENGINEERING

可验证的工程

Q+ 的每次发布候选都通过独立验收闸门、确定性构建复现与全量 SBOM 核验。发布树逐文件哈希对齐,结果公开可查;能力边界同样公开。

58 / 0发布验收 PASS / FAIL
319 / 319确定性构建复现
2099发布树文件
11平台可移植性验证
查看能力边界(我们明确不宣称的事)→
qplus / release-gate
$ qplus gate --full --determinism
› acceptance gate ................ PASS 58 / FAIL 0
› determinism (reproduce pkg) ..... PASS 319/319
› sbom verify ..................... 2,101 FILES
› release tree consistency ........ 0 DRIFT

$ qplus version
qplus 1.30.0-dev · spec v4.61 · x86-64
04 / LATEST

最新版本

当前开发候选:1.30.0-dev(spec v4.61)。

DEVELOPMENT CANDIDATE

Q+ 1.30.0-dev

自举编译器 · 字节码 VM + x86-64 AOT · 946 个标准库模块 · Apache-2.0

发布包qplus-language-1.30.0-dev-public.tar.gz
大小1.8 MB
校验和SHA256 已提供
构建确定性、可复现