Improve the current hybrid parser (regex + parser combinator) to a unified token-based parser with TypeSlot concept.
Goals
- Better error messages with accurate location tracking
- Stronger gradual typing support
- Parsing performance improvement (remove duplicate type parsing)
- Easier extensibility for new type syntax
Key Concepts
- Two Tree Structure: Code Node tree + Type tree
- TypeSlot: Explicit tracking of "positions where types should appear"
- Single Type Processor: All type parsing/validation through one entry point
- Self-validation: Each node validates itself
Improve the current hybrid parser (regex + parser combinator) to a unified token-based parser with TypeSlot concept.
Goals
Key Concepts