目标版本:v0.3 —— 主题为性能提升与 rwir/stdlib 优化。本 issue 是顶层追踪,只记方向与归属,进展看各子 issue。
A. 性能提升(runtime)
主线:解释器每指令一次 KV 往返是架构地板价,先把「后端原语地板」与「runtime 自身开销」分开量化,再逐项攻。
B. rwir / stdlib 优化
主线:核心只留执行循环与控制流,能力一律由 rwir/stdlib 承载。
C. 语义一致性与缺陷(支撑线)
完成判据(v0.3)
- A:iops / prime_sieve 有可复现的改善数据,且不牺牲可恢复性(PC 仍是 KV 路径字符串)
- B:stdlib 覆盖全部 native rwir;新增扩展不需改 core
- C:三后端 tutorial 全绿
明确不做
- 不为性能牺牲崩溃恢复(PC 保持 KV 路径字符串)
- 不在 core 里加可由基础 op 组合的能力(编译器/扩展承载)
后续版本
- v0.4(形式化与语言定位):见后续 roadmap issue
- 会议记录:见「会议记录」总纲 issue
目标版本:v0.3 —— 主题为性能提升与 rwir/stdlib 优化。本 issue 是顶层追踪,只记方向与归属,进展看各子 issue。
A. 性能提升(runtime)
主线:解释器每指令一次 KV 往返是架构地板价,先把「后端原语地板」与「runtime 自身开销」分开量化,再逐项攻。
B. rwir / stdlib 优化
主线:核心只留执行循环与控制流,能力一律由 rwir/stdlib 承载。
C. 语义一致性与缺陷(支撑线)
=形态 / 函数调用保序)完成判据(v0.3)
明确不做
后续版本