Java中的Haskell类型类层次结构

Question

我编写了一个具有类似于Haskell类型类的图书馆接口的抽象类，以及实现所有“可派生”方法的抽象类(例如，可以使用>>=和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实现替代方案是否正确？
• 我应该把MonadZero和MonadPlus分开吗？ArrowZero和ArrowPlus同样的问题
• 当类实现多个“端点”时，如何减少代码重复(例如，可能是MonadPlus和MonadFix，Kleisli是ArrowEverything)
• 从理论上说，箭头也可以扩展应用范围。目前，我在Arrow上有一个返回该应用程序的方法，因为它看起来像类型当前使得这里不可能继承。
• 还有其他不明显的“连接”(比如Arrow->应用程序)我遗漏了吗？
• 在这个层次结构中缺少哪些“有用”类型的类？

Answer 1

1. 您应该确保咨询[医]打字机。
2. 爱德华·克米特( Edward )一直在做尤曼的工作，试图构建一个丰富的、理智的、核心阶级的等级体系，从半群开始，并向前推进。这是值得直接与他联系的，但看看半群和他上传的许多相关软件包，可以得到一些提示：