Haskell 键输入内存泄漏

Question

我针对原始输入问题提出了以下代码，如 SO Haskell read raw keyboard input 中所讨论.不幸的是，当我转到 ghci，运行 getAllInput 并按下右箭头键时，它永远不会返回。除非我非常快地杀死它，否则它似乎会吃掉我所有的内存，以至于其他应用程序停止响应，我不得不重新启动操作系统。在事件监视器中，我可以看到 ghc 进程的内存迅速增加到千兆字节。

(1) 我认为问题出在go的递归调用上，它是通过在getChar之前调用hReady来惰性求值的；这意味着 hReady 不断返回 true 并且堆栈永远增长。这可信吗？

(2) 我习惯了这很快会导致堆栈溢出异常的语言，所以它不会妨碍我工作。有什么通用的方法可以防止这种大规模内存泄漏吗？也许在启动 ghci 时对内存使用有一个硬性限制？

import System.IO

-- For example, should get "\ESC[C" from the user hitting the right arrow key.
getAllInput :: IO [Char]
getAllInput =
  let
    go :: IO [Char] -> IO [Char]
    go chars = do
      more <- hReady stdin
      if more then go (added chars getChar) else chars
    added :: IO [Char] -> IO Char -> IO [Char]
    added chars char = do
      chars1 <- chars
      char1 <- char
      return (chars1 ++ [char1])
  in do
    hSetBuffering stdin NoBuffering
    firstChar <- getChar
    go (return [firstChar])

我在 OS X 10.11.6 中运行 ghci 7.10.3。我以一些明显的方式清理了代码，基本上遵循 the similar SO answer : 将 getChar 调用放在它自己的行中可以解决问题。但我想更好地理解这一点，以防它再次咬我。

Answer 1

go 中有一个无限循环。如果 hReady 返回 true，那么您再次调用 go，它会立即再次调用 hReady，它当然会返回 true，依此类推。您可能认为 added 会因为 go (added chars getChar) 而运行，但它不会；它只是构建一个 IO 操作并将其作为参数传递给 go，但该参数仅在 hReady 返回 False 时使用。 chars 的名称具有误导性 -- chars 实际上是一个 I/O 过程，最终运行时将返回一个字符列表。

一般来说，当使用 monad 时，一个“正常”的函数签名看起来像这样:

:: Foo -> Bar -> Baz -> IO Quuz

也就是说，monad (IO) 只出现在返回值上，而不出现在参数上。像这样的签名

:: IO Foo -> IO Bar

通常表示正在进行某些高阶操作，例如，此函数可能会多次执行其参数或在新上下文中执行。

我推荐签名

go :: [Char] -> IO [Char]
added :: [Char] -> Char -> IO [Char]

并试图让程序从那里编译。

您还应该尝试将 added 更改为纯函数

added :: [Char] -> Char -> [Char]

因为它实际上没有任何副作用。不过，实现和使用需要稍作改动。