重做标准类

Question

正如Typeclassopedia所证明的那样，从类别理论中引入的当前一类课程是历史的一个混乱事故，而不是一个美丽的连贯整体。

特别是，这使得跟踪正在发生的事情变得相当困难。

Answer 1

对于标准类的某些子集，已尝试提供修订的层次结构。

数字类型

• The Numeric Prelude。数值类型的实验性替代层次结构

特别是，它提供了更丰富的数学抽象集。

除此之外，还有许多其他替代设计：

• Yet Another Prelude - 罗斯帕特森的一个值得注意的替代序曲：

• prelude-extras - 高阶前奏函数
• classy-prelude - 有更多课程的序曲

分类类型

the category-inspired classes的工作量较少，如Functor，Monad，Monoid，Applicative，当然还有Category。

最重要的工作是

• category-extras包，它提供了一个非常丰富的库，包括着名的zygohistoprepromorphism。

Answer 2

关于“分类”类，还有The Other Prelude。 其中概述的类层次结构已在Frege中实现。