haskell - 重做标准类

Question

就目前而言，这个问题不适合我们的问答形式。我们希望答案得到事实、引用资料或专业知识的支持，但这个问题可能会引发辩论、争论、投票或扩展讨论。如果您觉得这个问题可以改进并可能重新打开，visit the help center寻求指导。




10年前关闭。




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

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

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

Answer 1

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

数字类型类

The Numeric Prelude .数字类型类的实验性替代层次结构

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

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

Yet Another Prelude - 罗斯·帕特森 (Ross Paterson) 的另一首著名前奏曲:

prelude-extras - 高阶前奏函数

classy-prelude - 更多类(class)的前奏

分类类型类

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

最重要的工作是

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