Awesome
3body-lang
三体编程语言 Three Body Language written in Rust
目前三体编程语言已经实现了如 "面壁"、"破壁"、"思想钢印"、"冬眠" 等语法，不过仍然是一个概念级的编程语言。
解释器的设计均来自于作者 Thorsten Ball 的原书，同时很感谢多个优秀开源仓库为本项目带来的灵感启发。
All from the book Writing An Interpreter In Go
Inspired by wadackel/rs-monkey-lang + flaneur2020/pua-lang which also inspired Monkey-Rust-2021-Edition
⚡️ Installation
$ brew install three-body
⚡️ Quick Start
$ 3body -h
$ 3body
Syntax Overview
Variable bindings 变量绑定
给 <identifier> 以 <expression>;
example:
给 岁月 以 "文明";
给 时光 以 "生命";
Constant bindings 常量绑定
思想钢印 <identifier> = <expression>;
example:
思想钢印 水 = "剧毒的";
前进(+) 运算符
给 自然选择 以 0;
自然选择 前进 4
// > 4
降维(-) 运算符
给 宇宙 以 { "维度": 10 };
宇宙.维度 降维 7
// > 3
Boolean 布尔值
这是计划的一部分
// > true
主不在乎
// > false
Function 函数定义
法则 (<parameter one>, <parameter two>, ...) { <block statement> };
example:
给 黑暗森林 以 法则() {
给 基本公理 以 ["生存是文明的第一需要", "文明不断增长和扩张，但宇宙中的物质总量保持不变"];
基本公理
}
黑暗森林()
Loop 循环语法
面壁 (<expression>) { <block statement> };
example:
给 危机纪年 以 3;
给 面壁者 以 ["泰勒", "雷迪亚兹", "希恩斯", "罗辑"];
面壁 (危机纪年 < 400) {
危机纪年 = 危机纪年 + 1;
if (危机纪年 == 8) {
面壁者 = rest(面壁者);
延绪;
}
if (危机纪年 == 23) {
面壁者 = rest(面壁者);
延绪;
}
if (危机纪年 == 205) {
面壁者 = rest(面壁者);
}
if (危机纪年 == 205) {
破壁;
}
}
面壁者
Built-in Functions
广播(<arg1>, <arg2>, ...): void
example:
给 三体世界坐标 以 "半人马星系";
广播(三体世界坐标);
// > "半人马星系"
Sleep
冬眠(<arg1>): void
example:
冬眠(1000);
Deep-Equal
没关系的都一样(<arg1>, <arg2>): bool
example:
没关系的都一样([1, [2, 3], { "4": 5 }], [1, [2, 3], { "4": 5 }]);
// > true
Summary
| Token | 3body-lang | Explanation |
|---|---|---|
| let | 给 | "give" |
| = | 以 | "as" |
| const | 思想钢印 | "thoughtcontrou" |
| + | 前进 | "go forward" |
| - | 降维 | "dimension reduction" |
| true | 这是计划的一部分 | "It's part of the plan." |
| false | 主不在乎 | "The Lord doesn't care." |
| fn | 法则 | "rule" |
| while | 面壁 | "face the wall" |
| break | 破壁 | "break the wall" |
| continue | 延绪 | "continue" |
| 广播 | "broadcast" | |
| sleep | 冬眠 | "hibernation" |
| clear | 二向箔清理 | "two-way foil cleaning" |
| exit | 毁灭 | "destroy" |
| deep-equal | 没关系的都一样 | "It's okay. It's all the same." |
🤗 LLM
三体编程语言可以通过 "智子工程" 加载本地大语言模型进行推理。
Able to use three body language sophon to load a local large language model for reasoning, inspired by wiki/sophon and powered by rustformers/llm.
Sophon Initializing
智子工程({ "type": <string>, "path": <string>, "prompt": <string> })
| property | type | Explanation |
|---|---|---|
| type | string | 模型类型 |
| path | string | 模型所在路径 |
| prompt | string | 提示词 |
Reasoning
let 智子 = fn () { let instance = 智子工程({ "type": "llama", "path": "./Vicuna-13B-chinese.bin", "prompt": "你是三体文明的智子" }); return { "回答": fn (问题) { instance.infer(instance, 问题) } } }();
智子.回答("中国最佳科幻小说是哪个")
// > 推理中...
| property | type | Explanation |
|---|---|---|
| model | NativeObject::LLMModel | 模型 |
| character | string | 提示词角色 |
| infer | BuiltinFunc | 执行推理 |
| close | BuiltinFunc | 关闭会话 |
⚛️ Example reasoning of "中国最佳科幻小说是哪个" in runs/8582743599
Model powered by huantian2415/vicuna-13b-chinese-4bit-ggml
Development
$ git clone https://github.com/rustq/3body-lang.git
$ cd 3body-lang
$ cargo run --features="repl"
$ cargo test -p three_body_interpreter
有更多建议和想法 💡
Create issues: issues