@llxlr/silq 0.1.3-dev

package/README.md

@@ -0,0 +1,288 @@
+# Silq (Rust implementation)
+
+> 用 Rust 重构的 Silq 量子编程语言编译器
+
+Silq 是 ETH Zurich 开发的高阶量子编程语言，具有强静态类型系统和自动去计算(uncomputation)功能。本项目是用 **Rust** 对原始 D 语言实现的完整重写。
+
+## 项目状态
+
+| 模块 | 状态 | 描述 |
+|------|------|------|
+| 词法分析器 (Lexer) | ✅ 完整 | UTF-8, Unicode 数学符号, 注解, 嵌套注释 |
+| 语法分析器 (Parser) | ✅ 完整 | Pratt 表达式解析, `:=` 中缀赋值, 声明, 控制流 |
+| AST 定义 | ✅ 完整 | 30+ 表达式节点, 完整类型系统 |
+| 语义分析 | ✅ 基本 | 名称解析, 声明注册 |
+| 线性检查器 | ✅ 基本 | const/moved 跟踪 |
+| 量子模拟器 (QSim) | ✅ 核心 | 状态向量, qubit 分配, H/X/Y/Z/CNOT/随机测量 |
+| HQIR 后端 | 🔧 骨架 | 框架就绪 |
+| 标准库 | ✅ | prelude.slq 包含 |
+
+**代码规模:** 5,754 行 Rust 代码 | **测试:** 10/10 通过
+
+## 快速开始
+
+### 构建
+
+```bash
+cd silq-rs
+cargo build --release
+```
+
+### 运行
+
+```bash
+# 运行量子程序
+cargo run -- --run test/bell.slq
+
+# 仅类型检查
+cargo run -- --check examples.slq
+
+# 跟踪执行过程
+cargo run -- --run --trace test/bell.slq
+
+# dump 量子态
+cargo run -- --run --dump test/bell.slq
+```
+
+## Silq 语言特性
+
+### 量子/经典类型区分
+
+Silq 用 `!` 前缀标记经典类型，无前缀为量子类型：
+
+```
+x: 𝔹          // 量子比特 (qubit)
+x: !𝔹         // 经典布尔值 (classical bool)
+```
+
+数值类型层级: `𝔹 <: ℕ <: ℤ <: ℚ <: ℝ <: ℂ`
+
+### 基本量子门
+
+```
+H(x)          // Hadamard 门
+X(x)          // Pauli-X (NOT) 门
+Y(x)          // Pauli-Y 门
+Z(x)          // Pauli-Z 门
+phase(φ)      // 全局相位旋转
+CNOT(x, y)    // 受控非门
+measure(x)    // 测量量子比特
+```
+
+### 示例: Bell 态
+
+```
+def main() {
+    x := H(0);        // 创建叠加态
+    y := 0;
+    if x {
+        y := X(y);    // CNOT 的 if-实现
+    }
+    forget(x=y);       // 去计算 x
+    assert(!measure(H(y)));  // 验证 Bell 态
+}
+```
+
+### 示例: Deutsch 算法
+
+```
+def solve(const O_f: B x B !-> B x B) {
+    x := H(0);
+    y := H(1);
+    (x, y) := O_f(x, y);
+    x := H(x);
+    measure(y);
+    return measure(x);
+}
+
+def main() {
+    // 四种 oracle 类型
+    def O_id(x: B, y: B) { y xor= x; return (x, y); }
+    def O_not(x: B, y: B) { y xor= !x; return (x, y); }
+    def O_zero(x: B, y: B) { y xor= 0; return (x, y); }
+    def O_one(x: B, y: B) { y xor= 1; return (x, y); }
+
+    assert(solve(O_id));      // id 是平衡的 → 1
+    assert(solve(O_not));     // not 是平衡的 → 1
+    assert(!solve(O_zero));   // zero 是常数的 → 0
+    assert(!solve(O_one));    // one 是常数的 → 0
+}
+```
+
+## 核心特性
+
+### 1. 自动去计算 (Automatic Uncomputation)
+
+Silq 自动生成量子电路的反向（伴随）变换，实现安全的量子资源释放：
+
+```
+def reverse[τ, χ, φ](f: const τ×χ →mfree φ)(c: τ, x: φ): χ {
+    f(c, y) := x;
+    return y;
+}
+```
+
+### 2. 线性类型系统
+
+- `const` — 可安全复制（仅限经典值）
+- `moved` — 线性使用，恰好一次
+- 编译器自动检测违反量子不可克隆定理的操作
+
+### 3. 依赖类型
+
+类型可以依赖值：
+
+```
+dat int[n: !ℕ] quantum {}     // 固定宽度整数
+def vector[τ](n: !ℕ, x: τ): τ^n  // 固定长度向量
+```
+
+## 编译管线
+
+```
+源码 (.slq)
+    ↓
+[Lexer]  → Token 流 (Unicode math, UTF-8)
+    ↓
+[Parser] → AST (Pratt 表达式解析)
+    ↓
+[Semantic] → 类型标注 AST (名称解析, 类型推断)
+    ↓
+[Checker] → 线性资源校验 (const/moved)
+    ↓
+[Backend]
+  ├─ QSim  → 量子模拟执行
+  └─ HQIR  → 量子中间表示输出
+```
+
+## 命令行选项
+
+```
+Usage: silq [OPTION]... [FILE]...
+
+Options:
+  --run                运行模拟器
+  --compile            编译到 HQIR 格式
+  --check              仅静态检查
+  --trace              跟踪执行
+  --verbose, -v        详细输出
+  --dump, --dump-state 执行后输出量子态
+  --help, -h           显示帮助
+```
+
+## WebAssembly (WASM)
+
+项目支持编译到 WebAssembly，可在浏览器中运行 Silq 量子程序。
+
+### 编译
+
+```bash
+# 浏览器目标 (生成 .wasm + JS 绑定)
+cargo build --target wasm32-unknown-unknown --no-default-features --features wasm --release
+
+# Rust 库目标 (嵌入其他 wasm32 Rust 项目)
+cargo build --target wasm32-unknown-unknown --no-default-features --release
+```
+
+编译后使用 `wasm-bindgen` 生成 JS 胶水代码：
+```bash
+wasm-bindgen --target web target/wasm32-unknown-unknown/release/silq.wasm --out-dir pkg/
+```
+
+### WAM 导出的函数
+
+| 函数 | 说明 |
+|------|------|
+| `run_silq(source)` | 解析并执行 Silq 程序，返回结果字符串 |
+| `run_silq_dump(source)` | 解析并执行，返回完整量子态振幅输出 |
+| `parse_silq(source)` | 仅解析，返回 AST 调试输出 |
+| `tokenize_silq(source)` | 仅词法分析，返回 Token 列表 |
+
+### 浏览器中使用
+
+```javascript
+import init, { run_silq, run_silq_dump } from "./pkg/silq.js";
+
+await init();
+
+const result = run_silq(`
+  x := H(0:𝔹);
+  return measure(x);
+`);
+console.log(result);
+```
+
+### 在线游乐场
+
+`test/wasm/` 目录包含两个浏览器演示页面：
+
+- **`demo.html`** — 最小演示，Bell 态示例，Run 按钮
+- **`index.html`** — 完整量子游乐场，Prism.js 语法高亮，多示例切换，Shift+Click 导出量子态，深色主题
+
+使用方式（需先完成上述 WASM 编译 + wasm-bindgen 步骤）：
+```bash
+cp pkg/silq_bg.wasm pkg/silq.js test/wasm/
+cd test/wasm && python -m http.server  # 浏览器打开 localhost:8000
+```
+
+### Cargo Features
+
+| Feature | 说明 |
+|---------|------|
+| `default` (= `terminal`) | 启用 ANSI 彩色输出 (native only) |
+| `wasm` | 启用 `wasm-bindgen`，导出 JS 可调用的函数 |
+| `terminal` | 引入 `colored` 依赖 |
+
+WASM 构建时必须使用 `--no-default-features` 禁用终端彩色输出。
+
+## 项目结构
+
+```
+silq-rs/
+├── Cargo.toml
+├── README.md
+├── ARCHITECTURE.md
+├── library/
+│   ├── prelude.slq               # 标准库 (487 行)
+│   └── __internal/operators.slq  # 运算符实现
+├── src/
+│   ├── main.rs                   # CLI 入口 (196 行)
+│   ├── lib.rs                    # 库根
+│   ├── token.rs                  # Token/关键字/优先级 (348 行)
+│   ├── lexer.rs                  # 词法分析器 (759 行)
+│   ├── parser.rs                 # Pratt 解析器 (1045 行)
+│   ├── ast.rs                    # AST 定义 (916 行)
+│   ├── scope.rs                  # 符号表 (102 行)
+│   ├── semantic.rs               # 语义分析 (269 行)
+│   ├── checker.rs                # 线性检查 (153 行)
+│   ├── consteval.rs              # 常量求值 (131 行)
+│   ├── conversion.rs             # 类型转换 (45 行)
+│   ├── reverse.rs                # 量子逆变换 (103 行)
+│   ├── modules.rs                # 模块系统 (133 行)
+│   ├── errors.rs                 # 错误处理 (272 行)
+│   ├── qsim.rs                   # 量子模拟器 (1097 行)
+│   ├── hqir.rs                   # HQIR 后端 (84 行)
+│   ├── wasm.rs                   # WASM 绑定 (94 行)
+│   └── options.rs                # 配置 (56 行)
+└── test/
+    ├── bell.slq                  # Bell 态示例
+    └── wasm/
+        ├── demo.html             # WASM 最小演示
+        ├── index.html            # 完整量子游乐场
+        └── prism-silq.js         # Silq 语法高亮 (Prism.js)
+```
+
+## 构建要求
+
+- **Rust** 1.75+
+- 依赖项: `num-complex`, `num-bigint`, `itertools`, `colored`, `fastrand`
+
+## 参考
+
+- [Silq 官方项目](https://github.com/tgehr/silq)
+- [Silq 论文](https://silq.ethz.ch)
+- [原始 D 语言实现](https://github.com/tgehr/silq)
+
+## License
+
+Boost Software License 1.0 (与原始项目保持一致)

package/package.json

@@ -0,0 +1,22 @@
+{
+  "name": "@llxlr/silq",
+  "type": "module",
+  "description": "Silq quantum programming language - Rust implementation",
+  "version": "0.1.3-dev",
+  "license": "BSL-1.0",
+  "repository": {
+    "type": "git",
+    "url": "git+https://github.com/llxlr/silq-rs.git"
+  },
+  "files": [
+    "silq_bg.wasm.d.ts",
+    "silq_bg.wasm",
+    "silq.js",
+    "silq.d.ts"
+  ],
+  "main": "silq.js",
+  "types": "silq.d.ts",
+  "sideEffects": [
+    "./snippets/*"
+  ]
+}

package/silq.d.ts

@@ -0,0 +1,47 @@
+/* tslint:disable */
+/* eslint-disable */
+
+/**
+ * Parse and run a Silq program string, returning the result as a string.
+ */
+export function run_silq(source: string): string;
+
+/**
+ * Run a Silq program with quantum state dump.
+ */
+export function run_silq_dump(source: string): string;
+
+export type InitInput = RequestInfo | URL | Response | BufferSource | WebAssembly.Module;
+
+export interface InitOutput {
+    readonly memory: WebAssembly.Memory;
+    readonly run_silq: (a: number, b: number) => [number, number];
+    readonly run_silq_dump: (a: number, b: number) => [number, number];
+    readonly __wbindgen_externrefs: WebAssembly.Table;
+    readonly __wbindgen_malloc: (a: number, b: number) => number;
+    readonly __wbindgen_realloc: (a: number, b: number, c: number, d: number) => number;
+    readonly __wbindgen_free: (a: number, b: number, c: number) => void;
+    readonly __wbindgen_start: () => void;
+}
+
+export type SyncInitInput = BufferSource | WebAssembly.Module;
+
+/**
+ * Instantiates the given `module`, which can either be bytes or
+ * a precompiled `WebAssembly.Module`.
+ *
+ * @param {{ module: SyncInitInput }} module - Passing `SyncInitInput` directly is deprecated.
+ *
+ * @returns {InitOutput}
+ */
+export function initSync(module: { module: SyncInitInput } | SyncInitInput): InitOutput;
+
+/**
+ * If `module_or_path` is {RequestInfo} or {URL}, makes a request and
+ * for everything else, calls `WebAssembly.instantiate` directly.
+ *
+ * @param {{ module_or_path: InitInput | Promise<InitInput> }} module_or_path - Passing `InitInput` directly is deprecated.
+ *
+ * @returns {Promise<InitOutput>}
+ */
+export default function __wbg_init (module_or_path?: { module_or_path: InitInput | Promise<InitInput> } | InitInput | Promise<InitInput>): Promise<InitOutput>;

package/silq.js

@@ -0,0 +1,230 @@
+/* @ts-self-types="./silq.d.ts" */
+
+/**
+ * Parse and run a Silq program string, returning the result as a string.
+ * @param {string} source
+ * @returns {string}
+ */
+export function run_silq(source) {
+    let deferred2_0;
+    let deferred2_1;
+    try {
+        const ptr0 = passStringToWasm0(source, wasm.__wbindgen_malloc, wasm.__wbindgen_realloc);
+        const len0 = WASM_VECTOR_LEN;
+        const ret = wasm.run_silq(ptr0, len0);
+        deferred2_0 = ret[0];
+        deferred2_1 = ret[1];
+        return getStringFromWasm0(ret[0], ret[1]);
+    } finally {
+        wasm.__wbindgen_free(deferred2_0, deferred2_1, 1);
+    }
+}
+
+/**
+ * Run a Silq program with quantum state dump.
+ * @param {string} source
+ * @returns {string}
+ */
+export function run_silq_dump(source) {
+    let deferred2_0;
+    let deferred2_1;
+    try {
+        const ptr0 = passStringToWasm0(source, wasm.__wbindgen_malloc, wasm.__wbindgen_realloc);
+        const len0 = WASM_VECTOR_LEN;
+        const ret = wasm.run_silq_dump(ptr0, len0);
+        deferred2_0 = ret[0];
+        deferred2_1 = ret[1];
+        return getStringFromWasm0(ret[0], ret[1]);
+    } finally {
+        wasm.__wbindgen_free(deferred2_0, deferred2_1, 1);
+    }
+}
+function __wbg_get_imports() {
+    const import0 = {
+        __proto__: null,
+        __wbindgen_init_externref_table: function() {
+            const table = wasm.__wbindgen_externrefs;
+            const offset = table.grow(4);
+            table.set(0, undefined);
+            table.set(offset + 0, undefined);
+            table.set(offset + 1, null);
+            table.set(offset + 2, true);
+            table.set(offset + 3, false);
+        },
+    };
+    return {
+        __proto__: null,
+        "./silq_bg.js": import0,
+    };
+}
+
+function getStringFromWasm0(ptr, len) {
+    return decodeText(ptr >>> 0, len);
+}
+
+let cachedUint8ArrayMemory0 = null;
+function getUint8ArrayMemory0() {
+    if (cachedUint8ArrayMemory0 === null || cachedUint8ArrayMemory0.byteLength === 0) {
+        cachedUint8ArrayMemory0 = new Uint8Array(wasm.memory.buffer);
+    }
+    return cachedUint8ArrayMemory0;
+}
+
+function passStringToWasm0(arg, malloc, realloc) {
+    if (realloc === undefined) {
+        const buf = cachedTextEncoder.encode(arg);
+        const ptr = malloc(buf.length, 1) >>> 0;
+        getUint8ArrayMemory0().subarray(ptr, ptr + buf.length).set(buf);
+        WASM_VECTOR_LEN = buf.length;
+        return ptr;
+    }
+
+    let len = arg.length;
+    let ptr = malloc(len, 1) >>> 0;
+
+    const mem = getUint8ArrayMemory0();
+
+    let offset = 0;
+
+    for (; offset < len; offset++) {
+        const code = arg.charCodeAt(offset);
+        if (code > 0x7F) break;
+        mem[ptr + offset] = code;
+    }
+    if (offset !== len) {
+        if (offset !== 0) {
+            arg = arg.slice(offset);
+        }
+        ptr = realloc(ptr, len, len = offset + arg.length * 3, 1) >>> 0;
+        const view = getUint8ArrayMemory0().subarray(ptr + offset, ptr + len);
+        const ret = cachedTextEncoder.encodeInto(arg, view);
+
+        offset += ret.written;
+        ptr = realloc(ptr, len, offset, 1) >>> 0;
+    }
+
+    WASM_VECTOR_LEN = offset;
+    return ptr;
+}
+
+let cachedTextDecoder = new TextDecoder('utf-8', { ignoreBOM: true, fatal: true });
+cachedTextDecoder.decode();
+const MAX_SAFARI_DECODE_BYTES = 2146435072;
+let numBytesDecoded = 0;
+function decodeText(ptr, len) {
+    numBytesDecoded += len;
+    if (numBytesDecoded >= MAX_SAFARI_DECODE_BYTES) {
+        cachedTextDecoder = new TextDecoder('utf-8', { ignoreBOM: true, fatal: true });
+        cachedTextDecoder.decode();
+        numBytesDecoded = len;
+    }
+    return cachedTextDecoder.decode(getUint8ArrayMemory0().subarray(ptr, ptr + len));
+}
+
+const cachedTextEncoder = new TextEncoder();
+
+if (!('encodeInto' in cachedTextEncoder)) {
+    cachedTextEncoder.encodeInto = function (arg, view) {
+        const buf = cachedTextEncoder.encode(arg);
+        view.set(buf);
+        return {
+            read: arg.length,
+            written: buf.length
+        };
+    };
+}
+
+let WASM_VECTOR_LEN = 0;
+
+let wasmModule, wasmInstance, wasm;
+function __wbg_finalize_init(instance, module) {
+    wasmInstance = instance;
+    wasm = instance.exports;
+    wasmModule = module;
+    cachedUint8ArrayMemory0 = null;
+    wasm.__wbindgen_start();
+    return wasm;
+}
+
+async function __wbg_load(module, imports) {
+    if (typeof Response === 'function' && module instanceof Response) {
+        if (typeof WebAssembly.instantiateStreaming === 'function') {
+            try {
+                return await WebAssembly.instantiateStreaming(module, imports);
+            } catch (e) {
+                const validResponse = module.ok && expectedResponseType(module.type);
+
+                if (validResponse && module.headers.get('Content-Type') !== 'application/wasm') {
+                    console.warn("`WebAssembly.instantiateStreaming` failed because your server does not serve Wasm with `application/wasm` MIME type. Falling back to `WebAssembly.instantiate` which is slower. Original error:\n", e);
+
+                } else { throw e; }
+            }
+        }
+
+        const bytes = await module.arrayBuffer();
+        return await WebAssembly.instantiate(bytes, imports);
+    } else {
+        const instance = await WebAssembly.instantiate(module, imports);
+
+        if (instance instanceof WebAssembly.Instance) {
+            return { instance, module };
+        } else {
+            return instance;
+        }
+    }
+
+    function expectedResponseType(type) {
+        switch (type) {
+            case 'basic': case 'cors': case 'default': return true;
+        }
+        return false;
+    }
+}
+
+function initSync(module) {
+    if (wasm !== undefined) return wasm;
+
+
+    if (module !== undefined) {
+        if (Object.getPrototypeOf(module) === Object.prototype) {
+            ({module} = module)
+        } else {
+            console.warn('using deprecated parameters for `initSync()`; pass a single object instead')
+        }
+    }
+
+    const imports = __wbg_get_imports();
+    if (!(module instanceof WebAssembly.Module)) {
+        module = new WebAssembly.Module(module);
+    }
+    const instance = new WebAssembly.Instance(module, imports);
+    return __wbg_finalize_init(instance, module);
+}
+
+async function __wbg_init(module_or_path) {
+    if (wasm !== undefined) return wasm;
+
+
+    if (module_or_path !== undefined) {
+        if (Object.getPrototypeOf(module_or_path) === Object.prototype) {
+            ({module_or_path} = module_or_path)
+        } else {
+            console.warn('using deprecated parameters for the initialization function; pass a single object instead')
+        }
+    }
+
+    if (module_or_path === undefined) {
+        module_or_path = new URL('silq_bg.wasm', import.meta.url);
+    }
+    const imports = __wbg_get_imports();
+
+    if (typeof module_or_path === 'string' || (typeof Request === 'function' && module_or_path instanceof Request) || (typeof URL === 'function' && module_or_path instanceof URL)) {
+        module_or_path = fetch(module_or_path);
+    }
+
+    const { instance, module } = await __wbg_load(await module_or_path, imports);
+
+    return __wbg_finalize_init(instance, module);
+}
+
+export { initSync, __wbg_init as default };

package/silq_bg.wasm.d.ts

@@ -0,0 +1,10 @@
+/* tslint:disable */
+/* eslint-disable */
+export const memory: WebAssembly.Memory;
+export const run_silq: (a: number, b: number) => [number, number];
+export const run_silq_dump: (a: number, b: number) => [number, number];
+export const __wbindgen_externrefs: WebAssembly.Table;
+export const __wbindgen_malloc: (a: number, b: number) => number;
+export const __wbindgen_realloc: (a: number, b: number, c: number, d: number) => number;
+export const __wbindgen_free: (a: number, b: number, c: number) => void;
+export const __wbindgen_start: () => void;