很多 Python 的 LLM 框架里，节点之间传的是 dict/Any——灵活但危险：字段名打错、类型不对，要运行到那一步才崩。Eino 是 Go，选择用泛型把类型信息带在编排里，让"接不上的管子"在编译期就报错。

Go 1.18+ 支持泛型。[T any] 是"类型参数"——写一份代码，适配多种类型：

// 不用泛型：每种类型写一遍，或用 interface{} 丢失类型
func FirstInt(s []int) int { return s[0] }
func FirstStr(s []string) string { return s[0] }

// 用泛型：一份代码，类型安全
func First[T any](s []T) T { return s[0] }
First([]int{1,2,3})       // T 自动推断为 int，返回 int
First([]string{"a","b"})  // T 推断为 string，返回 string

回忆 Day 06 的 Runnable[I, O]——I 是输入类型、O 是输出类型。这两个类型参数从建图一路带到执行：

// Day 06 的接口
type Runnable[I, O any] interface {
    Invoke(ctx, input I) (output O, err error)   // 输入 I，输出 O，编译器盯着
    Stream(ctx, input I) (*StreamReader[O], error)
    // ...
}
// 建图时定死 I/O
g := compose.NewGraph[[]*schema.Message, *schema.Message]()  // I=[]Message, O=Message
r, _ := g.Compile(ctx)   // r 是 Runnable[[]*Message, *Message]
out, _ := r.Invoke(ctx, msgs)   // 传错类型？编译不过

// 你的极简版：能跑，但类型全丢了
type Runnable interface {
    Invoke(input interface{}) (interface{}, error)   // 进出都是 any
}
out, _ := r.Invoke("hello")   // out 是 interface{}，得自己强转，转错就 panic

type Runnable[I, O any] interface {                 // ← 多出的 [I,O]
    Invoke(ctx context.Context, input I) (O, error)  // 进 I 出 O，编译器盯着
}

但引擎内部（Day 09 的调度、channel）没法对每种类型都写一遍——那要写无数份。Eino 的解法是两层：

"类型擦除"= 把带类型的值变成 any（丢掉静态类型，靠运行时反射记住真实类型）。发生在泛型层 → 无类型层的边界：

// 概念：进引擎时装箱，出引擎时用反射拆箱
func toGenericRunnable[I,O any](cr *composableRunnable) Runnable[I,O] {
    return &runnablePacker[I,O]{
        i: func(ctx, in I) (O, error) {
            out, err := cr.i(ctx, in)        // in 作为 any 传给无类型引擎
            return out.(O), err              // 结果断言回 O（这里靠运行时类型信息）
        },
    }
}

Eino 的类型检查其实分两个阶段：

• Go 编译期（你 go build 时）：泛型保证 Invoke 的输入输出类型对。这是编译器免费给的。
• Compile 时（Day 09，运行时的建图阶段）：检查相邻节点的"上游 O → 下游 I"能否对上。因为引擎内部是无类型的，节点间连接的类型对齐得靠 Compile 时用反射逐边检查。

• 好处：大量错误编译期/编译时暴露、IDE 自动补全好用、重构安全、自文档化（看签名就知道吃什么吐什么）。
• 代价：泛型让类型签名变长（Runnable[[]*schema.Message, *schema.Message] 读着累）；两层架构 + 反射有一点复杂度和运行时开销；报错信息有时较长。

✋ 动手

grep -n 'func New.*\[.*any\]\|Runnable\[' compose/runnable.go | head
sed -n '93,120p' compose/generic_graph.go     # 泛型 Graph 包无类型 graph
grep -rn 'reflect\.' compose/graph.go | head   # 逐边类型检查用的反射