如何用Haskeline实现Haskell REPL基于历史输入的动态单词补全

关于列表存储方式的正确性 #

• 你在REPL递归中通过repl (input:list)前置插入用户输入的实现是完全正确的。
• 这是纯函数式编程实现循环状态传递的标准方案：Haskell没有可变循环变量，所有运行时状态都通过递归参数传递，前置插入的方式也天然让最新输入的词汇在补全匹配时优先级更高，逻辑不存在问题。
• 目前的实现缺陷在于，这份动态维护的列表仅存在于REPL函数的局部递归作用域中，Haskeline的补全逻辑无法访问到这份数据。

动态列表对接补全逻辑的实现 #

当前的隔离问题 #

你定义的mySettings是程序启动时固化的静态配置，其中绑定的补全回调没有和REPL循环中的动态列表建立任何关联——Haskeline的Settings在传入runInputT后就不会再变更，因此根本无法感知到REPL内部递归传递的局部列表值。

具体实现方案 #

通过IO层的可变引用IORef作为跨模块共享的状态容器，打通REPL循环和补全逻辑的状态通路：

• 用IORef [String]存储全程序共享的用户输入词汇列表，替代原来在递归中传递的纯列表参数
• REPL收到用户有效输入时，直接修改IORef内存储的列表值（前置插入新输入，可按需增加去重逻辑避免列表膨胀）
• 将IORef引用绑定到Haskeline的补全回调上，用户触发Tab补全时，回调会实时读取IORef内的最新列表，完成前缀匹配返回补全结果

调整后的可运行代码 #

import Data.List
import Data.IORef
import System.Console.Haskeline

main :: IO ()
main = do
    -- 初始化共享动态词汇列表的可变引用
    inputListRef <- newIORef []
    -- 绑定可变引用到补全配置
    let replSettings = Settings {
            historyFile = Just "myhist",
            complete = completeWord Nothing " \t" $ searchFunc inputListRef,
            autoAddHistory = True
        }
    runInputT replSettings (repl inputListRef)

repl :: IORef [String] -> InputT IO ()
repl listRef = do
    minput <- getInputLine "> "
    case minput of
        Nothing -> outputStrLn "输入退出，程序结束"
        Just input -> do
            outputStrLn "Successfully added input to list"
            -- 更新共享列表，带简单去重逻辑
            modifyIORef listRef (\existing ->
                if input `elem` existing then existing else input : existing)
            repl listRef

searchFunc :: IORef [String] -> String -> InputT IO [Completion]
searchFunc listRef prefix = do
    -- 实时读取最新的词汇列表
    currentWords <- liftIO $ readIORef listRef
    -- 匹配前缀生成补全项
    return $ map simpleCompletion $ filter (prefix `isPrefixOf`) currentWords

实现效果说明 #

• 每次用户按下Tab触发补全时，searchFunc都会重新读取IORef中存储的最新列表，因此可以完全实现基于历史输入的动态补全
• 原有递归传递状态的思路本身没有问题，只是因为Haskeline的补全配置是程序启动时静态传入的，无法访问REPL函数的局部作用域变量，才需要用共享可变引用做状态通路

内容的提问来源于stack exchange，提问作者shadow123