Rever

Rever是一种尝试同时探索不同想法的实验性编程语言。这些想法包括

• 可逆计算
• 显著的换行
• 双射数字
• 预测解析器
• 过程 和 函数
• 拷贝-恢复 语义

其语法灵感来自 Janus、Pascal、Rust和Haskell。它与Crunch和类似语言的语法家族相同。

安装

首先，安装Rust。然后，您可以选择下载此项目的ZIP文件并解压，或者使用git clone此项目，具体取决于您最 comfortable with。

完成这些后，您可以通过运行

cargo run

截至目前，解释器只能进行数学运算、定义过程并向终端打印。尝试在examples/文件夹中的示例！

什么是可逆计算？

可逆计算 是一种特殊的计算类型，其中任何步骤都可以被轻易地反转。这种范式有助于在某些情况下将代码量减少一半，并“免费”执行逆向操作，例如在压缩/解压缩、加密/解密、编译/反编译等。

可逆计算机仍然可以执行不可逆计算机可以执行的所有操作，但它们倾向于产生称为“垃圾”的额外数据。垃圾是计算还原操作时的副产品，但本身与程序员的目标无关。通常会被丢弃，但在需要撤销计算时（如反编译或解压缩）可能很有用。

Rever只有可逆操作，并鼓励程序员自行处理任何垃圾处理。请记住，尽管Rever尽力将垃圾降到最低，但它无法保证您编写的代码不会产生垃圾。为了减少这方面的任何不确定性，我们建议假设任何代码都是垃圾。

Rever是什么样的？

请查看SYNTAX.md以及examples/中的示例程序以了解更多。

谢谢

像许多我个人的项目一样，Rever是我热爱的工作成果。如果您喜欢它或希望看到它发展，您可以在我的Ko-fi账户上捐赠：我的Ko-fi。