如何修改递归基准用例实现无限递归？Haskell代码求助

问题背景 #

因项目需求需通过递归实现无限循环，先后尝试两段代码均报错：

第一段代码 #

putStr' :: String -> IO ()
putStr' (a:as) = do putChar a
                    putChar '\n'
                    threadDelay 1000000
                    putStr' as
putStr' []     = putStr'

对应的错误信息：

<interactive>:339:18: error:
    * Couldn't match expected type: IO ()
                  with actual type: String -> IO ()
    * Probable cause: putStr' is applied to too few arguments
      In the expression: putStr'
      In an equation for putStr': putStr' [] = putStr'

第二段代码 #

putStr' :: String -> IO ()
putStr' (a:as) = do putChar a
                    putChar '\n'
                    threadDelay 1000000
                    putStr' as
putStr' []     = putStr' (a:as)

对应的错误信息：

<interactive>:297:27: error: Variable not in scope: a :: Char

<interactive>:297:29: error: Variable not in scope: as :: [Char]

已知无限递归存在风险，但为项目所需功能，需解决代码报错问题，确认该实现是否可行，是否需要使用guard等其他方案。

错误原因解析 #

1. 第一段代码错误：putStr' []的返回值类型要求是IO ()，但你直接返回了putStr'函数本身（类型为String -> IO ()），类型不匹配导致编译失败。
2. 第二段代码错误：a和as仅在(a:as)模式的分支中被定义，空列表分支里无法访问这两个未绑定的变量，因此编译器提示变量未定义。

可行实现方案 #

核心需求是遍历完输入字符串后，无限重复整个遍历过程。要实现这一点，必须在遍历到空列表时能重新获取原始字符串，以下是两种可行方案：

方案1：拆分主函数与递归辅助函数 #

将逻辑拆分为主函数（保存原始字符串）和辅助递归函数（负责遍历），结构清晰且调用方便：

import Control.Concurrent (threadDelay)

putStrLoop :: String -> IO ()
putStrLoop originalStr = traverseStr originalStr
  where
    traverseStr (char:remaining) = do
      putChar char
      putChar '\n'
      threadDelay 1000000  -- 间隔1秒
      traverseStr remaining
    traverseStr [] = traverseStr originalStr  -- 遍历完成后重新从头开始

调用示例：putStrLoop "your-target-string"，即可无限循环打印字符串的每个字符，每次间隔1秒。

方案2：单函数传递原始字符串 #

如果不想拆分函数，可以让函数同时接收原始字符串和当前遍历的剩余字符串：

import Control.Concurrent (threadDelay)

putStr' :: String -> String -> IO ()
putStr' original (char:remaining) = do
  putChar char
  putChar '\n'
  threadDelay 1000000
  putStr' original remaining
putStr' original [] = putStr' original original

调用示例：putStr' "your-target-string" "your-target-string"，效果与方案1一致。

关于guard的说明 #

guard的作用是进行条件判断，而当前问题的核心是需要在遍历结束后重新获取原始字符串以实现循环，guard无法解决这个核心需求，因此不需要使用guard，上述两种方案即可满足要求。

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