重做标准类

Question

正如Typeclassopedia所证明的那样,从类别理论中引入的当前堆栈类似于历史的一个纠结事故,而不是一个美丽的连贯整体.

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

这些东西应该是什么样的,如果像向后兼容性,代码重复或易处理的短类型签名这样的小问题不是问题？

Answer 1

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

数字类型

• 数字序曲.数值类型类的实验替代层次结构

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

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

• 又一个前奏曲 - 罗斯帕特森的另一个值得注意的前奏曲:

• prelude-extras - 高阶前奏函数
• 优雅 - 前奏 - 一个有更多课程的前奏曲

分类类型

在类别启发的课程上工作较少,如Functor,Monad,Monoid,Applicative,当然还有Category.

最重要的工作是

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

Answer 2

关于"分类"课程,还有"其他前奏曲".弗雷格已经实现了那里概述的类层次结构.