haskell - 如何使用 ListT 进行回溯和 IO？

Question

我真的不知道应该如何使用 List 转换ListT器。例如应该如何完成这个简单的任务：

backtrack :: ListT IO ()
backtrack = do
    x <- lift getLine
    a <- x
    lift $ print a

函数的类型应该是什么？

这不是我想要完成的任务（我知道如何使用许多其他方法来解决这个问题），我只是想知道如何使用ListT来完成这些任务。

Answer 1

您应该查看正确完成的 ListT 和回溯LogicT包。特别是 logict 中的交错可以更好地处理无穷大。

Answer 2

这是你想做的吗？

import Control.Monad.List

backtrack :: ListT IO ()
backtrack = do
    x <- ListT getLine
    lift $ print x

在 GHCi 中运行的示例：

*Main> runListT backtrack
foo
'f'
'o'
'o'
[(), (), ()]