4.3.1 特设多态机制

文档摘要

4.3.1 特设多态机制在 Haskell 的类型系统宇宙中，若将“多态”比作光谱，那么参数多态（parametric polymorphism）是那束均匀、纯净、贯穿所有类型的白光——它不关心具体是什么，只承诺行为一致；而特设多态（ad-hoc polymorphism）则是一台精密的棱镜：同一函数名（如、、）射入不同类型的光，却折射出截然不同的实现路径。这束光不会自发分裂——它需要被显式定义、显式约束、显式解析。而承载这一机制的核心构件，正是类型类（Type Class）——不是“类”（class），不是“类型”，更不是面向对象中的继承结构，而是一套编译期契约驱动的、基于类型约束的、可组合的重载协议系统。