计算机科学>编程语言
标题: 艾伦伯格——摩尔单体和回溯单体变形金刚
摘要: 我们在一般的单体范畴设置中开发了回溯单体变换器的代数基础。 作为我们的主要技术手段,我们引入了Eilenberg—Moore幺半群,它将幺半群与强单体的代数结合在一起。 我们证明了Eilenberg—Moore幺半群与Haskell库中已知的列表单体变换器(“one right”)的代数一致。 从中,我们得到了许多结果,包括列表monad转换器确实是monad、转换器和MonadPlus类的实例。 最后,我们构造了一个自同态的Eilenberg—Moore幺半群,它通过码密度单子构造,产生了一个基于延续的实现a la Hinze。