protonspy 发布面向 LLM 编写的静态类型编程语言 LotML

LotML 是一门为让 LLM 编写、人审阅而设计的静态类型语言，语法沿用 Python 但语义不同处有可见差异，文件后缀为 .lot 或 .lotml。编译器以 Rust 构建，提供 LSP 与 MCP 服务器、test 块、错误即值、值语义引用计数，可经 LLVM 编译为原生可执行文件或 Python 模块，支持 Linux、Windows 与 macOS；项目处于研究阶段，Phase 3 的 C 目标进行中，设计依据 83 篇论文共 1,047 条逐字核验引文。