更新CHANGELOG.md，记录v0.4.1版本的新增强类型系统功能，包括强类型变量、自动类型支持及类型检查机制的改进。

Author: HelloAIXIAOJI

CHANGELOG.md

@@ -1,5 +1,29 @@
 # CodeNothing 更新日志
 
+## [v0.4.1] - 2025-07-24
+
+### 新增功能
+- ✨ **强类型系统** - 实现变量强类型检查
+  - 新增 `auto` 类型支持弱类型变量 (如 `variable : auto = value`)
+  - 强类型变量声明时进行类型匹配检查
+  - 强类型变量赋值时进行类型约束检查
+  - 保持常量的强类型检查机制
+  - 支持混合类型系统：强类型 + 弱类型选择
+
+### 类型系统特性
+- 🔒 **强类型变量**: `intVar : int = 42` - 类型安全，只能赋值相同类型
+- 🔄 **Auto 类型**: `autoVar : auto = value` - 弱类型，可以赋值任意类型
+- ⚡ **类型检查**: 变量声明和赋值时的实时类型验证
+- 📝 **清晰错误**: 详细的类型不匹配错误信息
+
+### 技术改进
+- 🔧 扩展 AST 添加 `Type::Auto` 类型
+- 🔧 增强解析器支持 `auto` 关键字
+- 🔧 在解释器中添加变量类型存储机制
+- 🔧 实现变量赋值的类型约束检查
+
+---
+
 ## [v0.4.0] - 2025-07-24
 
 ### 新增功能