haskell - 重做标准类

Question

正如 Typeclassopedia 所证明的那样，当前从范畴论中引入的一堆类有点像是历史的一个错综复杂的偶然事件，而不是一个美丽的连贯整体。

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

如果不存在诸如向后兼容性、代码重复或易于处理的短类型签名之类的小问题，这些东西应该是什么样子？

Answer 1

对于标准类的一些子集，已经尝试给出修改后的层次结构。

数值类型类

• 数字前奏曲。数字类型类的实验性替代层次结构

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

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

• 另一个前奏曲- 罗斯帕特森的一个值得注意的替代前奏曲：

• prelude-extras - 高阶前奏函数
• classy-prelude - 更多类的前奏

分类类型类

受类别启发的类的工作较少，例如 Functor、Monad、Monoid、Applicative，当然还有 Category。

最重要的工作是

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

Answer 2

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