光明(LightLang)编程语言

✨ 核心特性

v4.0 五层语法架构

┌──────────────────────────────────────────────────────────┐
│ L4 外语引用层(引 C: / 引 Go: / 引 MoonBit: / 引 Python:)│ ← 复用全球生态,沙箱隔离
├──────────────────────────────────────────────────────────┤
│ L3 领域嵌入层(SQL / 正则 / 数学公式) │ ← 原生参数化,防注入,DSL 直接写
├──────────────────────────────────────────────────────────┤
│ L2 文言体(商用工程) 30 L0 字 + 英文标点 + 显式类型 │ ← 大项目可维护、强类型
├──────────────────────────────────────────────────────────┤
│ L1 白话体(青少年入门) 19 L0 字 + 中文标点 + 省略类型 │ ← 低门槛、像说话一样编程
├──────────────────────────────────────────────────────────┤
│ L0 核心字表(30) 若否当遍跳过返|设段类承接配|试捕抛终 | ← 永久稳定,永不修改
│ 自之并从是|且或非真假空|导出 │
└──────────────────────────────────────────────────────────┘

L0:核心字表(永久冻结 30 字)

L1 vs L2 双轨速查

E阶段:L3 原生语法 + L4 沙箱隔离(已完成)

引 SQL:
 CREATE TABLE 用户( id INTEGER PRIMARY KEY, 姓名 TEXT, 分数 INTEGER );
 INSERT INTO 用户 VALUES (1, '张三', 95), (2, '李四', 87);
 SELECT 姓名, 分数 FROM 用户 WHERE 分数 > 90;

引 正则 手机号:
 (?<区号>\d{3,4})-(?<号码>\d{7,8})
打印 手机号.匹配("010-12345678").区号 # 010

引 数学 二次求根:
 x = (-b ± √(b2-4ac)) / 2a
打印 二次求根(a=1, b=-5, c=6) # [3.0, 2.0]

引 Python:
 import numpy as np
 数据 = [1,2,3,4,5]
 均值 = float(np.mean(数据))
 出 均值
打印 均值 # 3.0

F阶段:标准库中文增强(已完成)

从 日期时间增强 导入 解析相对时间, 日期区间
打印 解析相对时间("3天后")
打印 日期区间("2026-01-01", "2026-01-07")

G阶段:CI + Playground 自动化(进行中)

里程碑

快速开始(3 步跑通)

第 1 步:安装 Python

python --version
# 输出应为 Python 3.10.x 或更高

第 2 步:安装光明

git clone https://gitcode.com/skywalk163/light.git
cd light
pip install -e .

pip install light

light --version
# 输出:光明编译器 v7.0.0

第 3 步:运行你的第一个程序

打印 "你好,世界!"

light run hello.light
# 输出:你好,世界!

v4.0 课程体系

🟢 L1 白话体(青少年入门 · 10 课)

for f in examples/L1_baihua/*.light; do echo "=== $f ==="; light run "$f"; done

🟠 L2 文言体(商用工程 · 学生成绩管理系统)

light run examples/L2_wenyan/主程序.light

🟦 L3 + L4 专题

示例程序

# 运行 Hello World 示例(阶乘、循环)
light run examples/hello.light
# 输出:
# 你好,世界!
# 5的阶乘是:
# 120
# 1到10的和:
# 55
# 程序运行完成!

语法入门

变量

设 姓名 为 "张三"
设 年龄 为 25
打印 姓名
打印 年龄

函数(段落)

段落 加法 接收 a, b:
 返回 a 加上 b
打印 加法(3, 5) # 输出:8

条件语句

设 分数 为 85
如果 分数 大于等于 90:
 打印 "优秀"
否则如果 分数 大于等于 60:
 打印 "及格"
否则:
 打印 "不及格"

循环

# 当循环
设 计数 为 0
当 计数 小于 5:
 打印 计数
 设 计数 为 计数 加上 1
# 遍历循环
遍历 项 于 1至5:
 打印 项

字符串

设 名字 为 "光明"
打印 "你好," 加上 名字 加上 "!"

命令行工具

# 运行光明程序(默认使用 SRC 后端,无需额外依赖)
light run hello.light
# 编译为 Python 文件
light compile hello.light -o hello.py
# 语法检查
light check hello.light
# 类型检查(三级:签名/变量/表达式)
light check hello.light --type-check 表达式
# 独立类型检查
light type-check hello.light --level 变量
# 查看 Token 流
light tokens hello.light
# 查看 AST
light ast hello.light
# 初始化新项目
light init myproject

包管理

# 初始化新包(创建 package.toml 与 主.light)
light pkg init myproject
# 编译项目
light pkg -p myproject build
# 运行项目
light pkg -p myproject run
# LLVM 原生编译
light pkg -p myproject native -o output.exe

后端选择

编译为 EXE

# 方式1:使用 PyInstaller(简单,但文件较大)
pip install pyinstaller
light compile hello.light -o hello.exe
# 方式2:使用 LLVM 原生编译(需要安装 LLVM)
light compile hello.light --backend llvm-typed -o hello.exe

AI Copilot(算力不足时让 AI 写光明代码)

核心思路

用户需求 → AI 生成 Python → 微调模型翻译为光明 → light ai check 验证

使用方式

# 一键生成光明代码(自动组装速查卡 + 片段 + 暗坑提示)
light ai generate "写一个二分查找函数"
light ai generate "排序算法" --model-size small # 小模型用精简提示
light ai generate "文件读写" --model-size large # 大模型用完整提示
# 修复出错的光明代码
light ai fix hello.light "第3行语法错误"
# 查看语法速查卡(复制给 AI 当参考)
light ai card
# 查看代码片段模板
light ai snippets
# 后端感知检测(类关键字→提示切换 LLVM 后端)
light ai check hello.light

LoRA 微调训练

cd tools/ai_copilot
# 开发调试:2B 模型快速验证
python train_lora_7b.py --model-preset qwen3.5-2b
# 生产部署:8B 模型最高质量
python train_lora_7b.py --model-preset qwen3-8b
# 显存不够:QLoRA 4bit 量化
python train_lora_7b.py --model-preset qwen3.5-2b --qlora

标准库

从 数学工具 导入 阶乘
打印 阶乘(10)

阶段1:基础核心模块

阶段2:数据结构与工具

阶段3:系统与网络

阶段4:编码与安全

阶段5:高级特性

阶段6:数据科学与计算

阶段7:文本处理与解析

阶段8:Web 与通信协议

阶段9:测试与调试

阶段10:元编程与代码生成

阶段11:安全与权限

阶段12:并发与分布式

阶段13:系统工具与补充库

阶段14:C FFI 外部函数接口

加载库 "libm.so" 为 math。
外部 段落 平方根 接收 输入: 小数 返回 小数 在 math。
外部 结构体 点 { x: 小数, y: 小数 }。
外部 枚举 颜色 { 红 = 0, 绿 = 1, 蓝 = 2 }。
设 结果 为 平方根(16.0) # 调用 C 的 sqrt 函数
打印 结果 # 输出: 4.0
# 或使用 @C 语法标记(更简洁)
@C 段落 绝对值 接收 甲: 小数 返回 小数 在 math。

语法参考(v3.2)

运算符

复合赋值

类与面向对象

类 动物:
 属性 名字
 构造 接收 名字:
 己.名字 为 名字
 段落 介绍 接收:
 打印 "我叫" 加上 己.名字
类 狗 继承 动物:
 段落 叫声 接收:
 打印 "汪汪汪"
设 小狗 为 狗("旺财")
小狗.介绍()
小狗.叫声()

类型注解与检查

段落 加法 接收 甲:数, 乙:数 -> 数:
 返回 甲 加 乙
严格 段落 计算接收 输入:字符串 -> 字典:
 ...

# 类型检查
light check hello.light --type-check 签名
light type-check hello.light --level 表达式

项目结构

light/
├── src/ # 核心编译器(活跃维护)
│ ├── lexer.py # 词法分析器
│ ├── parser_core.py # 解析器核心
│ ├── parser_stmt.py # 语句解析
│ ├── parser_expr.py # 表达式解析
│ ├── ast_nodes_v3.py # AST 节点定义
│ ├── code_generator.py # Python 代码生成
│ ├── code_generator_unified.py # 统一代码生成
│ ├── compiler.py # 编译器主体
│ ├── type_checker.py # 三级类型检查器
│ ├── type_inferencer.py # HM 类型推断
│ ├── package_manager.py # 包管理器
│ ├── module_resolver.py # 模块解析器
│ ├── llvm/ # LLVM 后端
│ │ ├── codegen_typed.py # LLVM 代码生成(typed 模式)
│ │ └── compiler.py # LLVM 编译入口
│ └── optimizer/ # 代码优化器
├── cli/ # 命令行工具
│ └── light.py # 主入口(light 命令,含 pkg 子命令)
├── stdlib/ # 标准库(60+ 模块)
│ ├── FFI.py # C FFI 运行时模块(~500 行)
│ ├── FFI.light # C FFI 光明实现
├── lsp/ # LSP 语言服务器
├── debug-adapter/ # DAP 调试适配器
├── tools/ # 调试器等工具
│ └── ai_copilot/ # AI 辅助工具链
│ ├── syntax_card.py # 语法速查卡生成
│ ├── snippets.py # 代码片段模板
│ ├── prompt_generator.py # prompt 生成器
│ ├── pipeline.py # 一揽子管线
│ ├── build_sft_dataset.py # SFT 训练集构造
│ ├── train_lora_7b.py # Qwen3-8B/3.5-2B LoRA 微调
│ ├── train_lora_7b.ipynb # Notebook 调试版
│ ├── train_sft.py # ERNIE-4.5-0.3B 微调
│ ├── sft_dataset.jsonl # 881 条训练数据
│ ├── README_LoRA7B.md # LoRA 微调文档
│ └── README_SFT.md # ERNIE 微调文档
├── demos/ # 示范项目
├── examples/ # 示例程序
├── tests/ # 测试
│ ├── test_ffi.py # C FFI 第一阶段测试(16 个)
│ ├── test_ffi_phase2.py # C FFI 第二阶段测试(17 个)
│ ├── test_ffi_phase3.py # C FFI 第三阶段测试(23 个)
│ ├── test_ffi_phase4.py # C FFI 第四阶段测试(28 个)
│ ├── test_ffi_at_c.py # @C 语法标记测试(19 个)
│ ├── unit/ # 单元测试
│ ├── integration/ # 集成测试
│ └── e2e/ # 端到端测试
└── docs/ # 文档

开发

环境准备

# 克隆项目
git clone https://gitcode.com/skywalk163/light.git
cd light
# 安装(开发模式)
pip install -e .
# 安装开发工具(可选)
pip install -e ".[dev]"

运行测试

# 运行所有核心测试
python -m pytest tests/test_parser.py tests/test_lexer.py tests/test_async.py -v
# 运行单元测试
python -m pytest tests/unit/ -v
# 运行全部测试
python -m pytest tests/ -v

代码格式

常见问题

Q: 运行时报 No module named 'antlr4'

Q: pip install antlr4 报错

pip install antlr4-python3-runtime

Q: 编译为 EXE 失败

Q: Python 版本要求

python --version

文档

许可证