4.3.2 常见类型类体系

文档摘要

4.3.2 常见类型类体系在 Haskell 的类型系统宇宙中，类型类（Type Class）不是语法糖，不是设计模式的模拟，也不是面向对象的拙劣翻版——它是编译期契约的精确编码，是泛型编程的逻辑骨架，更是可验证、可推导、可组合的抽象基础设施。当我们站在 4.3.2 “常见类型类体系”的门槛前，真正需要叩问的，不是“ 和有什么方法”，而是：当 GHC 遇到时，它究竟做了什么？为什么在上是，而在上却是，而编译器却能保证二者都满足的同一律？的实现为何必须遵守左结合律，而这个等式在运行时从不被检查，却能在类型检查阶段就扼杀非法实例？答案不在文档里，而在 GHC 的约束求解器中；不在教科书的公理列表里，而在每个实例声明背后隐含的字典传递机制与字典重写规则之中。