4个版本
新 0.1.4 | 2024年8月20日 |
---|---|
0.1.3 | 2024年7月28日 |
0.1.2 | 2024年7月10日 |
0.1.1 | 2024年7月4日 |
0.1.0 |
|
#477 in 密码学
150 每月下载量
83KB
1.5K SLoC
Simfony与Rust之间的接口
Simfony语言与Rust非常相似。这个crate提供了与Simfony作为字面量Rust进行工作的工具。
文档 ✅
我们为每个Simfony类型定义了一个Rust类型。我们为每个Simfony jet定义了一个Rust函数。可以使用rustdoc
生成Simfony文档。
源代码转换 🚧
Simfony代码几乎就是Rust代码。由于Simfony缺少泛型等高级功能,所以相应的语法缺失。
由于差异少且可预测,我们可以通过简单的静态算法将Simfony代码转换为Rust代码。这个工具尚未编写,但它将使我们能够使用Rust编译器编译Simfony代码。
这意味着Simfony程序将有两个路径
- Simfony → 简化 → 位机器
- Simfony → Rust → 任何CPU
使用此库作为预言,在位机器上运行的(1)Simfony程序应该与在任意CPU上运行的(2)Simfony程序的行为完全相同。
依赖项
~45KB