Link 语言¶
一门为"互联"而生的语言
从 IoT 设备到游戏后端,再到多语言胶水层
v0.2.0 已发布
当前版本支持:基本类型、控制流、函数、列表、stream<T> 数据流、struct/enum 复合类型、async/await、flow 声明块、全球 12 种编程语言 FFI 互联、C/LLVM/Python/WASM 编译器后端、借用检查器、LSP 语言服务器、游戏后端域类型。
核心特性¶
-
:material-link-variant: 连接为一等公民
stream<T>/endpoint/group是语言内置类型,不是库里的 class。 数据从源到汇自动调度,无需手写并发。 -
:material-language-python: 多语言原生互通
天然是其他语言的胶水层。一行
extern即可调用全球 12 种编程语言: C / C++ / Python / WASM / Java / JS / Go / Rust / C# / PHP / Ruby / Swift / Kotlin。 -
:material-code-braces: 静态类型 + 声明式
类型严谨如 C++,声明优先如 Terraform。描述"要什么",不描述"怎么做"。
-
:material-cog: 多后端编译
支持 C / LLVM / Python / WASM 四种编译后端。 常量折叠、死代码消除优化，无 GC，无运行时开销。
-
:material-shield-check: 借用检查器
编译时所有权跟踪、移动语义、Copy 类型、借用规则。 use-after-move 检测，内存安全无负担。
-
:material-microsoft-visual-studio-code: LSP 语言服务器
诊断、补全、悬停、跳转、符号大纲。 支持 VS Code 等主流编辑器，开发体验一流。
-
:material-gamepad-variant: 游戏后端域类型
domain语法、WebSocket、房间系统、帧同步。 专为游戏后端设计的声明式抽象。
30 秒体验¶
// 调用 C 标准库 abs
extern "C" {
fn abs(n: i32) -> i32;
}
// 调用 Python 标准库 math.sqrt
extern "python" module "math" {
fn sqrt(x: f64) -> f64;
}
// 调用 C++ 共享库 cpp_demo.dll
extern "C++" module "cpp_demo.dll" {
fn cpp_factorial(n: i32) -> i32;
}
// 调用 WebAssembly 模块
extern "wasm" module "module.wasm" {
fn add(a: i32, b: i32) -> i32;
}
// 调用 Go 桥接脚本
extern "go" module "bridge.go" {
fn greet(name: str) -> str;
}
// 调用 Java 静态方法
extern "java" module "build/classes::com.example.Math" {
fn factorial(n: i64) -> i64;
}
let x = abs(-42);
let y = sqrt(16.0);
let f = cpp_factorial(5);
let w = add(3, 4);
let g = greet("Link");
let j = factorial(5);
println("C abs(-42) =", x);
println("Python sqrt(16) =", y);
println("C++ factorial(5) =", f);
println("WASM add(3, 4) =", w);
println("Go greet(\"Link\") =", g);
println("Java factorial(5) =", j);
// stream<T> 数据流 + 管道运算符
let result = stream([1, 2, 3, 4, 5])
| map(fn(x) -> i64 { return x * 2; })
| filter(fn(x) -> bool { return x > 5; })
| collect();
println("stream result =", result); // [6, 8, 10]
输出:
C abs(-42) = 42
Python sqrt(16) = 4
C++ factorial(5) = 120
WASM add(3, 4) = 7
Go greet("Link") = Hello, Link!
Java factorial(5) = 120
stream result = [6, 8, 10]
立即开始¶
设计哲学¶
- 连接为一等公民 ——
stream<T>/endpoint/group是语言内置类型,不是库里的 class - 流是默认执行模型 —— 数据从源到汇自动调度,无需手写并发
- 声明优先,无副作用 —— 描述"要什么",不描述"怎么做"
- 多语言原生互通 —— Link 不孤立存在,天然是其他语言的胶水层
项目状态¶
| 里程碑 | 状态 | 说明 |
|---|---|---|
| Phase 0:骨架 | :material-check-circle:{.green} 完成 | Lexer / Parser / Interpreter |
| Phase 1.1:C FFI | :material-check-circle:{.green} 完成 | 动态加载 libc/msvcrt,调用 abs / sqrt |
| Phase 1.2:Python/C++ FFI | :material-check-circle:{.green} 完成 | libpython 动态加载,C++ via C ABI |
| Phase 1.3:stream |
:material-check-circle:{.green} 完成 | 数据流核心类型 + 管道运算符 \| |
| Phase 1.4:多语言 FFI | :material-check-circle:{.green} 完成 | WASM / Java / HTML/JS / Go / Rust / C# / PHP / Ruby / Swift / Kotlin |
| Phase 1.5:struct/enum | :material-check-circle:{.green} 完成 | 复合类型与模式匹配 |
| Phase 1.6:bindgen | :material-check-circle:{.green} 完成 | C/Python/TypeScript 绑定生成 |
| Phase 1.7:flow 块 | :material-check-circle:{.green} 完成 | 声明式数据流处理 |
| Phase 1.8:async/await | :material-check-circle:{.green} 完成 | 异步编程与 sleep 原语 |
| Phase 2.1:C 后端 | :material-check-circle:{.green} 完成 | 完整 C 代码生成,优化等级 O0-O3 |
| Phase 2.2:LLVM 后端 | :material-check-circle:{.green} 完成 | LLVM IR 生成,优化通道(条件编译) |
| Phase 2.3:Python 后端 | :material-check-circle:{.green} 完成 | 生成 Python 代码 |
| Phase 2.4:WASM 后端 | :material-check-circle:{.green} 完成 | 生成 WAT 格式代码 |
| Phase 2.5:类型检查器 | :material-check-circle:{.green} 完成 | 54 个测试用例 |
| Phase 2.6:常量折叠优化 | :material-check-circle:{.green} 完成 | 编译期常量表达式求值 |
| Phase 2.7:死代码消除 | :material-check-circle:{.green} 完成 | 移除不可达代码 |
| Phase 2.8:借用检查器 | :material-check-circle:{.green} 完成 | 所有权跟踪、use-after-move 检测 |
| Phase 2.9:LSP 语言服务器 | :material-check-circle:{.green} 完成 | 诊断、补全、悬停、跳转、符号大纲 |
| Phase 2.10:游戏后端域类型 | :material-check-circle:{.green} 完成 | domain 语法、WebSocket、房间系统、帧同步 |
许可证¶
MIT