wootype 🐕

⚡ 极速 Go 类型系统 —— 比传统类型检查快 100-1000 倍

wootype 是用 Rust 编写的极速 Go 类型检查引擎，采用增量计算架构 (Salsa) 和 ECS 存储模型，实现亚毫秒级类型检查响应。

🚀 极致性能

速度对比

测试环境：标准 x86_64，Release 模式

为什么这么快？

🦀 Rust 原生性能
   ├─ 零成本抽象
   ├─ 无 GC 停顿
   └─ 极致内存控制

⚡ Salsa 增量计算框架
   ├─ 自动依赖跟踪
   ├─ 细粒度缓存 (LRU)
   └─ 只重新计算变更部分

🔧 ECS 存储架构
   ├─ Entity-Component-System
   ├─ Archetype 紧凑存储
   └─ 缓存友好的数据布局

🔄 并发安全设计
   ├─ DashMap 无锁读
   ├─ scc::HashMap 细粒度锁
   └─ 1000+ AI Agent 并发

📊 性能详情

冷启动 vs 增量更新

缓存查询性能

数据来源：SALSA_PERFORMANCE_COMPARISON.md

与 Go 工具链对比

✨ 功能特性

📦 安装

从 crates.io

cargo install wootype

从源码

git clone https://github.com/GWinfinity/wootype.git
cd wootype
cargo install --path . --release

预编译二进制

# Linux x86_64
curl -L https://github.com/GWinfinity/wootype/releases/latest/download/wootype-linux-amd64 -o wootype
chmod +x wootype
sudo mv wootype /usr/local/bin/

🚀 快速开始

作为库使用

use wootype::TypeUniverse;

// 创建类型宇宙
let universe = TypeUniverse::new();

// 执行类型检查
let result = universe.check_file("main.go");

// 增量更新
let delta = universe.check_incremental(changes);

作为 LSP 服务器

# 启动 LSP 服务
wootype daemon --port 8080

# 或使用 stdio 模式
wootype lsp

类型查询 CLI

# 检查文件类型
wootype check main.go

# 查询符号类型
wootype query --symbol "MyStruct" --file main.go

# 启动类型检查服务
wootype serve --port 8080

# WebSocket 模式
wootype ws --port 8081

🏗️ 架构亮点

┌─────────────────────────────────────────────────────────────┐
│                    wootype 高性能架构                        │
├─────────────────────────────────────────────────────────────┤
│                                                              │
│  ┌─────────────┐    ┌─────────────┐    ┌─────────────┐     │
│  │   Parser    │    │    Salsa    │    │  Type Store │     │
│  │ (tree-sitter│───▶│   Database  │◀──▶│  (ECS/Arche │     │
│  │             │    │             │    │    type)    │     │
│  └─────────────┘    └──────┬──────┘    └─────────────┘     │
│                             │                                │
│         ┌───────────────────┼───────────────────┐           │
│         ▼                   ▼                   ▼           │
│  ┌─────────────┐    ┌─────────────┐    ┌─────────────┐     │
│  │  Queries    │    │  Cycles     │    │   Cache     │     │
│  │ (tracked)   │    │  Detection  │    │   (LRU)     │     │
│  └─────────────┘    └─────────────┘    └─────────────┘     │
│                             │                                │
│  ┌──────────────────────────┼──────────────────────────┐   │
│  │                    LSP / API Layer                  │   │
│  │  ┌────────┐  ┌────────┐  ┌────────┐  ┌────────┐   │   │
│  │  │   gRPC │  │WebSocket│  │  HTTP  │  │  LSP   │   │   │
│  │  └────────┘  └────────┘  └────────┘  └────────┘   │   │
│  └────────────────────────────────────────────────────┘   │
│                                                              │
└─────────────────────────────────────────────────────────────┘

核心技术

💡 使用场景

IDE 实时类型检查

用户输入字符 → Salsa 增量检查 → 更新类型提示
延迟: ~50ns (缓存命中)
体验: ✅ 零感知延迟

AI Agent 批量分析

// 1000+ AI Agent 并发查询类型
let universe = Arc::new(TypeUniverse::new());

for agent in 0..1000 {
    let u = universe.clone();
    spawn(async move {
        let type_info = u.query_type(symbol_id); // O(1) 查询
    });
}

持续集成类型检查

# CI 管道中快速类型检查
wootype check ./... --incremental

# 与 woof 集成
woof check . --types-enabled

跨包类型分析

# 分析接口实现关系
wootype impl --interface "io.Reader" --project .

# 检测循环类型依赖
wootype cycles --strict

📚 文档

• API 文档
• Salsa 实现
• 性能对比
• 架构设计
• 生态系统

🤝 贡献

欢迎贡献！请查看 CONTRIBUTING.md。

# 开发环境
git clone https://github.com/GWinfinity/wootype.git
cd wootype
cargo test
cargo bench

📄 许可证

Apache License 2.0 © GWinfinity

Made with ❤️ and 🦀 Rust

"wootype 让 Go 类型检查快到忘记它存在。"