feat(core): 移除硬编码内置函数，完善循环控制和数组支持

- 移除编译器和 VM 中对 println 函数的特殊处理逻辑
- 实现 while 和 for 循环的完整支持
- 修复数组类型推断和函数参数类型规范问题
- 优化栈管理系统，修复函数调用栈和内存管理
- 完善测试验证，增加库导入和数组功能测试
- 提升架构一致性，严格遵循无内置函数的设计原则

Author: HelloAIXIAOJI

chagelog0.9.4.md

@@ -152,3 +152,180 @@
 - O(1)复杂度的函数查找实现
 - 避免字符串匹配的性能损耗
 
+---
+
+## [v0.9.4 Pre3] - 2025-08-16
+
+### 核心设计原则回归
+
+#### 移除硬编码内置函数
+- **设计原则**：CodeNothing的设计宗旨是"没有内置函数，内置函数以Library实现"
+- 移除编译器中硬编码的`println`函数特殊处理逻辑
+- 移除VM中的`Print`字节码指令处理
+- 移除语句编译中对内置函数的特殊判断逻辑
+
+#### 统一库函数调用机制
+- 所有函数调用（包括`println`）必须通过`using lib <library>`导入
+- 强制使用`using lib <io>; using ns std;`来启用`println`功能
+- 确保VM和解释器都遵循相同的库导入规则
+
+### VM字节码系统修复
+
+#### 编译器模块修复 (`src/vm/compiler.rs`)
+- 移除`Expression::FunctionCall`中对`println`的特殊处理分支
+- 移除`Statement::FunctionCallStatement`中的内置函数检测逻辑
+- 统一所有函数调用通过库系统或命名空间系统处理
+- 改进错误信息，提示用户导入相应库
+
+#### VM执行引擎修复 (`src/vm/vm.rs`)
+- 移除`ByteCode::Print`指令的执行逻辑
+- 所有输出功能通过`CallLibrary`指令调用`std::println`
+- 确保栈管理的一致性，移除特殊的栈处理逻辑
+
+#### 字节码指令集扩展 (`src/vm/bytecode.rs`)
+- `Print`指令标记为未使用（保留向后兼容性）
+- 新增循环控制指令：`Jump`、`JumpIfFalse`、`JumpIfTrue`
+- 所有输出操作统一使用`CallLibrary`指令
+- 完善控制流指令集，支持复杂程序结构
+
+### 控制流语句完整实现
+
+#### While循环支持
+- 实现VM中`while`循环的完整编译和执行
+- 添加`compile_while_loop`方法处理循环体编译
+- 支持嵌套while循环和复杂条件表达式
+- 正确处理循环中的变量作用域
+
+#### For循环支持
+- 实现传统for循环：`for (init; condition; increment)`
+- 实现范围for循环：`for (item in collection)`
+- 添加循环控制语句：`break`和`continue`
+- 支持多层嵌套for循环结构
+
+#### 循环字节码指令
+- 新增字节码指令：
+  - `Jump(u32)` - 无条件跳转
+  - `JumpIfFalse(u32)` - 条件跳转
+  - `JumpIfTrue(u32)` - 条件跳转（保留）
+- 实现循环的高效字节码生成
+- 优化跳转指令的地址计算
+
+### 数组类型系统完善
+
+#### 类型推断修复
+- 修复VM编译器中对`auto`类型的数组推断
+- 正确处理`[]int`数组类型语法（而非`[int]`）
+- 修复类型检查器中数组索引访问的类型验证
+
+#### 函数参数类型规范
+- 修复函数参数中`auto`类型导致的类型检查错误
+- 要求数组参数使用明确类型声明：`arr : []int`
+- 提高类型安全性和代码可读性
+
+### 栈管理系统优化
+
+#### 函数调用栈修复
+- 修复`Print`指令移除后的栈平衡问题
+- 统一函数调用语句的栈清理逻辑
+- 确保所有函数调用后正确执行`Pop`指令
+
+#### 内存管理改进
+- 优化VM栈空间使用
+- 修复潜在的栈溢出风险
+- 提高内存使用效率
+
+### 测试验证完善
+
+#### 库导入测试
+- 创建`test_vm_with_library.cn`验证正确的库导入语法
+- 测试`using lib <io>; using ns std;`的完整流程
+- 验证`println`通过库系统的正确调用
+
+#### 数组功能测试
+- 测试数组创建、访问、修改的完整流程
+- 验证数组类型推断的正确性
+- 确保VM和解释器的数组处理一致性
+
+#### 循环控制测试
+- While循环的条件判断和循环体执行
+- For循环的初始化、条件检查、递增操作
+- 嵌套循环的正确执行和变量作用域
+- Break和continue语句的跳转逻辑
+
+#### 综合功能测试
+- 基础变量和表达式计算
+- 条件语句和循环控制
+- 数组操作和函数调用
+- 命名空间函数的正确执行
+- 复杂控制流的组合使用
+
+### 架构一致性提升
+
+#### 设计原则遵循
+- **严格遵循**"没有内置函数"的核心设计原则
+- 所有功能通过库系统提供，保持语言的纯净性
+- 编译器和VM不包含任何硬编码的函数实现
+
+#### 库系统完整性
+- VM完全依赖库系统提供基础功能
+- 库加载机制在编译时和运行时的一致性
+- 支持动态库函数发现和映射
+
+#### 错误处理改进
+- 提供清晰的库导入错误提示
+- 指导用户正确使用`using lib <library>`语法
+- 改进类型错误的诊断信息
+
+### 修复的关键问题
+
+#### 设计原则违背
+- **问题**：编译器硬编码了`println`函数处理
+- **修复**：移除所有硬编码逻辑，强制通过库导入
+
+#### 栈管理不一致
+- **问题**：`Print`指令的栈处理与其他指令不一致
+- **修复**：统一所有函数调用的栈管理逻辑
+
+#### 类型系统缺陷
+- **问题**：数组类型推断和语法解析存在问题
+- **修复**：完善类型检查器和解析器的数组处理
+
+#### 控制流支持不完整
+- **问题**：VM缺乏对while和for循环的完整支持
+- **修复**：实现完整的循环编译和执行机制
+
+#### 测试覆盖不足
+- **问题**：缺乏对库导入机制和循环控制的完整测试
+- **修复**：创建专门的库导入和循环控制测试用例
+
+### 技术实现亮点
+
+#### 纯净的语言设计
+- 实现了真正的"无内置函数"语言架构
+- 所有功能模块化，通过库系统组织
+- 为未来的标准库扩展奠定基础
+
+#### 统一的执行模型
+- VM和解释器使用相同的库调用接口
+- 消除了执行模式间的功能差异
+- 提供一致的开发体验
+
+#### 高效的字节码执行
+- 简化的指令集提高执行效率
+- 优化的栈管理减少内存开销
+- 支持复杂的嵌套函数调用
+- 高效的循环跳转指令实现
+- 优化的条件分支执行路径
+
+### 向前兼容性
+
+#### 字节码兼容性
+- 保留`Print`指令定义，避免破坏现有字节码
+- 新的字节码生成不再使用废弃指令
+- 平滑的版本迁移路径
+
+#### API稳定性
+- 库接口保持向后兼容
+- 编译器API的稳定性保证
+- 为生态系统发展提供稳定基础
+