在之前的一个问题中,我发现Conor McBride的Kleisli的Outrageous Fortune箭头的存在,同时寻找在Haskell中编码Idris示例的方法.我努力理解McBride的代码并使其在Haskell中编译导致了这个要点:https://gist.github.com/abailly/02dcc04b23d4c607f33dca20021bcd2f
在搜索Hackage时,我发现了这些概念的几种实现,特别是(猜猜是谁？)Edward Kmett和Gabriel Gonzalez.
人们将这些代码投入生产有什么经验？特别是,IRL实际发生了预期的好处(运行时安全性,自我指导使用)吗？如何随着时间的推移维护这种代码并加入新手？
编辑:我更改了标题,以更明确地了解我正在寻找的东西:在野外真实使用索引monad.我有兴趣使用它们,我有几个用例,只是想知道其他人是否已经在"生产"代码中使用过它们.
编辑2:由于到目前为止提供了很好的答案和有用的评论,我再次编辑了该问题的标题和描述,以更准确地反映我期望的答案,例如经验报告.