[0017] 优化 stack-size 为 O(1)

[da-liii]

概要

优化 stack-size 从 O(n) 到 O(1)，通过给 stack record-type 增加 size 字段。

变更内容

1. 新增 bench/stack-size.scm 性能基准测试
2. 给 stack record-type 增加 size 字段，修改所有构造函数和修改器维护 size
3. 新增 devel/0017.md 开发文档，更新测试注释

性能对比

栈大小	优化前	优化后
10	0.071s	0.057s
100	0.196s	0.065s
1000	1.828s	0.069s
10000	3.212s	0.008s
100000	4.804s	0.001s

测试

• 全部 143 个 stack 测试用例通过

🤖 Generated with Claude Code