Skip to content
A
THE ARCHITECTURE
RFC-009 / RFC-010 / RFC-011
TRACK 01
RFC-010
统一语法
极简主义哲学。从变量到函数，所有声明都遵循 name: type = value 模式，学习成本更低，代码更一致。
- ✓ 语法声明极致统一
- ✓ 类型是一等公民
x: Int = 42add: (a: Int, b: Int) -> Int = (a, b) => a + bPoint: Type = { x: Int, y: Int }RFC-011
零成本泛型
泛型特化在编译期完成，类型抽象不带来任何运行时开销。编译期单态化。死代码消除。类型系统即宏。
Box<T>→Box_Int
RFC-009
所有权模型
告别 GC 卡顿。爻象用基于作用域的所有权模型，内存安全在编译期就确定，没有意外。
✓
共享引用
✓
可预测
✕
无 GC 卡顿
✕
无生命周期
B
THE RUNTIME
RFC-008 / STD-LIB
TRACK 04
解耦调度器
从单片机到高性能服务器，运行时自适应环境。不同场景选择不同调度策略，性能与资源兼得。
- Embedded
完全同步(Sync) - Standard
基于有向无环图(DAG)和惰性求值的自动化并发管理 - Full
工作窃取机制(WorkSteal)
17 Keywords
Type Inference
Pattern Match
Traits
Modules
FFI
Concurrency
Curry Function