Java 中的 Haskell 类型类层次结构

Question

我编写了一个库，其中包含类似于 Haskell 类型类的 Java 接口，以及实现所有“可派生”的抽象类方法（例如，可以使用 >>= 和 return 编写 Monad.join）。这是我计划的结构（[]表示接口尚不存在）：

                      Applicative <= Alternative <-,     
Functor <= Pointed <= Applicative <= Monad <= MondPlus
Functor <= Copointed <= Comonad      Monad <= [MonadFix]

Category <= Arrow <= ArrowChoice   
            Arrow <= [ArrowApply]
            Arrow <= [ArrowLoop] 
            Arrow <= [ArrowZero] <= [ArrowPlus]
Bifunctor

• 这个层次结构“正确”吗？
• 特别是 MonadPlus 实现 Alternative 是否正确？
• 我应该将 MonadZero 从 MonadPlus 中分离出来吗？同样的问题 ArrowZero 和 ArrowPlus
• 当一个类实现多个“端点”时（例如 Maybe 是 MonadPlus 和 MonadFix，Kleisli 是 ArrowEverything），如何减少代码重复
• Arrow 理论上也可以扩展 Applicative。目前，我在 Arrow 上有一个返回 Applicative 的方法，因为看起来类型循环使得继承在这里变得不可能。
• 我还缺少其他不明显的“连接”（如箭头->应用）吗？
• 此层次结构中缺少哪些“有用”类型类？

Answer 1

1. 您应该确保查阅typeclassopedia。

2. Edward Kmett 一直在做自耕农的工作，试图构建一个丰富的、理智的、核心类的层次结构，从半群开始并向前推进。值得直接与他联系，但请查看 semigroupoids 和许多他上传的相关包以获得一些指导：