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

Print

广播(<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

🧶 Threading

三体编程语言可以通过 "程心" 创建并管理线程。

Able to use threading to create and handle threads.

Threads Create

给 cx 以 程心();

cx.thread(星环公司, ["掩体工程", 0, 11])
cx.thread(星环公司, ["研制曲率飞船", 5, 11])

Threads Await

给 cx 以 程心();

给 秘密研究 以 cx.thread(星环公司, ["重启光速飞船的研究", 11, 66]);
cx.join(秘密研究)

⚛️ Example threading of "星环公司" in runs/11302243115

🤗 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> })

Reasoning

let 智子 = fn () { let instance = 智子工程({ "type": "llama", "path": "./Vicuna-13B-chinese.bin", "prompt": "你是三体文明的智子" }); return { "回答": fn (问题) { instance.infer(instance, 问题) } } }();

智子.回答("中国最佳科幻小说是哪个")

// > 推理中...

⚛️ Example reasoning of "中国最佳科幻小说是哪个" in runs/11092893924

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

Visual Studio Code Extension

3body-vscode-language-server

License

MIT