v0.8.4

[v0.8.4] - 2025-08-11 - Generic System Enhanced Version

New Features

Generic AST Support

• Added GenericParameter struct: type parameter name, constraints, default type
• Added TypeConstraint enum: Trait, Sized, Copy, Send, Sync constraints
• Extended Type enum:
  • Type::Generic(String) - Generic type parameter
  • Type::GenericClass(String, Vec<Type>) - Generic class
• Type::GenericEnum(String, Vec<Type>) - Generic Enum

Generic Expression

• Added GenericFunctionCall - Generic Function Call
• Added GenericMethodCall - Generic Method Call
• Added GenericObjectCreation - Generic object creation
• Added TypeCast - Type cast expression
• Added TypeOf - Type query expression

Generic parser

• Added generic_parser.rs module
• Implemented parsing methods:
  • parse_generic_parameters() - Parses the <T, U, K> parameter list
  • parse_generic_parameter() - Parses a single generic parameter
• parse_type_constraints() - Parse type constraints
  • parse_where_clause() - Parse where clause
  • parse_generic_type_arguments() - Parse generic type instantiation
  • parse_generic_function_call() - Parse generic function call
• parse_generic_object_creation() - Parses generic object creation

Runtime Support

• Extends expression evaluator to support generic expression evaluation
• Implements runtime processing for type conversion and type queries

Grammar Example

// Generic function
fn max<T>(a: T, b: T) : T {
if (a > b) { return a; } else { return b; };
};

// Generic class
class Container<T> {
private T value;
    constructor<T>(T initial_value) {
        this.value = initial_value;
    };
};

// Generic with constraints
fn sort<T: Comparable<T>>(items: array<T>) : array<T> where T: Copy {
    return items;
};

Technical Details

Fixes and Improvements

• Fix auto type parsing: Change "Auto" to "auto" (lowercase)
• Maintain existing variable declaration syntax: name: type = value and name: auto = value

Compilation Status

• Project compiled successfully (316 warnings, 0 errors)
• Basic type inference feature passed verification
• Backward compatibility with existing code

New features and improvements in v0.8.4

Generic type checking system

• Extend TypeChecker to support generic type checking
• Add generic constraint validation: check_generic_constraints()
• Implement type inference: infer_generic_types()
• Support generic context management: set_generic_context() / clear_generic_context()
• Generic type compatibility checks

Improved runtime support

• Refine generic expression evaluator
• Implement strong type explicit conversion system: handle_type_cast()
• Supports safe type conversion: between numeric types, to string, and parsing from string
• Strict type safety checks, disallows unsafe automatic conversions

Strong type system validation

• Project compiled successfully (318 warnings, 0 errors)
• Strong type constraints properly implemented: Implicit type conversions are not allowed
• Explicit type conversion system: Only allows safe type conversions
• Type inference maintains strong typing: Inferred types are fixed
• Type safety tests passed: Compile-time and runtime type checking

[v0.8.4] - 2025-08-11 - 泛型系统完善版本

新增功能

泛型 AST 支持

• 新增 GenericParameter 结构体：类型参数名、约束、默认类型
• 新增 TypeConstraint 枚举：Trait、Sized、Copy、Send、Sync 约束
• 扩展 Type 枚举：
  • Type::Generic(String) - 泛型类型参数
  • Type::GenericClass(String, Vec<Type>) - 泛型类
  • Type::GenericEnum(String, Vec<Type>) - 泛型枚举

泛型表达式

• 新增 GenericFunctionCall - 泛型函数调用
• 新增 GenericMethodCall - 泛型方法调用
• 新增 GenericObjectCreation - 泛型对象创建
• 新增 TypeCast - 类型转换表达式
• 新增 TypeOf - 类型查询表达式

泛型解析器

• 新增 generic_parser.rs 模块
• 实现解析方法：
  • parse_generic_parameters() - 解析 <T, U, K> 参数列表
  • parse_generic_parameter() - 解析单个泛型参数
  • parse_type_constraints() - 解析类型约束
  • parse_where_clause() - 解析 where 子句
  • parse_generic_type_arguments() - 解析泛型类型实例化
  • parse_generic_function_call() - 解析泛型函数调用
  • parse_generic_object_creation() - 解析泛型对象创建

运行时支持

• 扩展表达式求值器，支持泛型表达式求值
• 实现类型转换和类型查询的运行时处理

语法示例

// 泛型函数
fn max<T>(a: T, b: T) : T {
    if (a > b) { return a; } else { return b; };
};

// 泛型类
class Container<T> {
    private T value;
    constructor<T>(T initial_value) {
        this.value = initial_value;
    };
};

// 带约束的泛型
fn sort<T: Comparable<T>>(items: array<T>) : array<T> where T: Copy {
    return items;
};

技术细节

修复和改进

• 修复 auto 类型解析：将 "Auto" 改为 "auto"（小写）
• 保持现有变量声明语法：name: type = value 和 name: auto = value

编译状态

• 项目成功编译（316个警告，0个错误）
• 基本类型推断功能验证通过
• 向后兼容现有代码

v0.8.4 新增改进

泛型类型检查系统

• 扩展 TypeChecker 支持泛型类型检查
• 新增泛型约束验证：check_generic_constraints()
• 实现类型推断：infer_generic_types()
• 支持泛型上下文管理：set_generic_context() / clear_generic_context()
• 泛型类型兼容性检查

改进的运行时支持

• 完善泛型表达式求值器
• 实现强类型显式转换系统：handle_type_cast()
• 支持安全的类型转换：数值类型间、到字符串、从字符串解析
• 严格的类型安全检查，不允许不安全的自动转换

强类型系统验证

• 项目成功编译（318个警告，0个错误）
• 强类型约束正确实施：不允许隐式类型转换
• 显式类型转换系统：只允许安全的类型转换
• 类型推断保持强类型特性：推断后类型固定
• 类型安全测试通过：编译时和运行时类型检查

Full Changelog: CodeNothingCommunity/CodeNothing@v0.8.3...v0.8.4