|
2.7.1
| 2024年8月13日 |
|---|
| 2.7.0-rc.3 | 2024年7月16日 |
|---|
|
2.6.3
| 2024年3月12日 |
|---|
| 2.5.0-dev.0 | 2023年12月26日 |
|---|
|
0.1.0
| 2023年1月3日 |
|---|
#860 在 神奇豆
每月下载量 29,116
用于 48 个crate（直接使用18个）
Sierra 是高级Cairo和编译目标（如 CASM）之间的中间表示。Sierra 代码在结构上保证了“安全性”*。Sierra 具有原始而丰富的类型系统，可以表达所有高级代码，同时保证安全性和允许高效编译到目标。
安全性 - 这意味着一些事情
- 没有“恐慌”/“运行时错误”。每个函数都有保证返回。
- 没有无限循环。此外，每个程序“计算”自己的步骤，并在达到限制时返回。
- 内置库函数总是被正确使用。