Haskell:如何在状态monad之上编写交互式解释器？

data InterpreterState = InterpreterState
  { userInput :: String
  , interpreterOutput :: String
  }

import Control.Monad.State

type InterpreterMonad = StateT InterpreterState IO

getUserInput :: InterpreterMonad String
getUserInput = do
  state <- get
  let input = userInput state
  put state { userInput = "" }
  return input

outputInterpreter :: String -> InterpreterMonad ()
outputInterpreter output = do
  state <- get
  let currentOutput = interpreterOutput state
  put state { interpreterOutput = currentOutput ++ output }

mainLoop :: InterpreterMonad ()
mainLoop = do
  input <- getUserInput
  -- 执行解释器计算过程
  -- 根据用户输入更新解释器状态
  -- 输出解释器结果
  outputInterpreter "Interpreter output"
  -- 递归调用主循环函数
  mainLoop