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

Question

我真的不知道列表转换器究竟应该如何ListT使用。例如，应该如何完成这个简单的任务:

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

函数的类型应该是什么？

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

Answer 1

你应该看看ListT done right和回溯 LogicT包。特别是interleave在 logict 中可以更好地处理无穷大。