Skip to content

docs(developer): 三处与实现对不上——quickstart 去掉已退役的 src/arch/linux/ld/ · faq .ccr 版本 v6→v9 · corec2 条目加修订注 #175

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
dslsdzc merged 1 commit into from
Sep 24, 2026
Merged

docs(developer): 三处与实现对不上——quickstart 去掉已退役的 src/arch/linux/ld/ · faq .ccr 版本 v6→v9 · corec2 条目加修订注 #175

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
4 changes: 3 additions & 1 deletion docs/developer/faq.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -33,10 +33,12 @@ Rust 用借用检查在类型层保证内存安全,代价是学习曲线与表
**corec2 是什么?为什么我 check 会卡住?**
corec2 = 自举的第二代前端产物(自编译验证用)。它曾有 tokenizer 死循环已知问题(全局变量注册缺陷,见 TODO)——日常开发请用 `./build/corec`,不要用 corec2。

> 修订(2026-09-24):该问题**不再作为阻塞项**——`corec2` 链可跑通且逐字节稳定(`corec2 == corec3` IDENTICAL;由 `src/ci/run.sh` 的 `full-bootstrap` job 覆盖)。原文保留供追溯。

## 状态相关

**哪些功能还没实现?**
语言与编译器在活跃自举期。已知设计态/挂账:验证管线(规约证明)、平台桥(IO/时钟语义接口落地)、惰性求值、分布式、部署配置完整消费、.ccr 内容随 v6 段表推进。最新状态看仓库 TODO.md 与各文档头部"状态"。
语言与编译器在活跃自举期。已知设计态/挂账:验证管线(规约证明)、平台桥(IO/时钟语义接口落地)、惰性求值、分布式、部署配置完整消费、.ccr 内容随 v9 段表推进(版本以 `src/compiler/ccr_io.cr` 的 `CCR_VERSION` 为准)。最新状态看仓库 TODO.md 与各文档头部"状态"。

**float 呢?**
float 已退役(2026-08,dex/apx 定案)——精确小数用 `dex`,近似授权用 `apx`。历史遗留的 float 代码需迁移(见 ADR-0010)。
Expand Down
3 changes: 2 additions & 1 deletion docs/developer/quickstart.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -52,12 +52,13 @@ fn main() -> int {
| 路径 | 内容 |
|---|---|
| src/compiler/ | 编译器源码(用 Core 写)——前端 |
| src/arch/linux/ld/ | ELF 后端(指令编码/链接) |
| src/arch/ · src/format/ · src/os/ | 后端三轴(架构 × 格式 × OS):指令编码/寄存器分配/帧 · ELF 发射/链接 · 入口/调用序列/系统调用 |
| src/stdlib/ | 标准库(io/fmt/collections/arena/…) |
| examples/ | 示例程序(add/complex/pi/load_balancer 等,见 examples.md) |
| tests/ | 测试三套(bootstrap/selfhost/suite) |

> 注:examples/hello/ 目前是空骨架——用 add/ 或自建文件开始。
> 注:本表原列 `src/arch/linux/ld/`(ELF 后端),该目录**已退役**——后端现按三轴分目录,组合根在 `src/targets/x86_64-linux/`(2026-09-24 更正)。

## 五、下一步

Expand Down
Loading