通过Free Monad和Coproduct自动选择译员

Question

我正在使用app架构和haskell中的免费monad.我已经把它弄下来,除了如何将我的"指令"提升到我的副产品的正确插槽中而没有明确地给出完整的左/右路径.

这是我一直在使用的haskell示例:https://gist.github.com/aaronlevin/87465696ba6c554bc72b#file-reasonable-hs

在这里,为了将类型注入到副产品中,我们明确提到了路径.

例如:

Program :: Coproduct Interaction (Coproduct Auth Logging) a
logC :: (Functor f) => (forall a. Logging a -> f a) -> String -> Free f ()

logger :: String -> Free Program ()
logger = logC (Program . Coproduct . Right . Coproduct . Right)

在这里,记录器必须手动放入副产品的右侧插槽中 Coproduct . Right . Coproduct . Right

Runar在scala中的讨论使用隐式类型转换和Inject类型类来实现这个结果:https://gist.github.com/runarorama/a8fab38e473fafa0921d#file-gistfile1-scala-L119

简而言之,我想知道在haskell中是否有办法做到这一点.

Answer 1

正在填写从评论到原始问题的答案部分...

\n\n

原始的 Haskell 论文可以在这里找到：Data Types \xc3\xa0 la Carte

\n\n

Haskell 实现可以在这里找到：ALaCarte.hs

\n