如何理解/使用 Haskell 修复功能 [重复]

Question

我在xmonad 包中看到以下代码：

-- | Ignore SIGPIPE to avoid termination when a pipe is full, and SIGCHLD to
-- avoid zombie processes, and clean up any extant zombie processes.
installSignalHandlers :: MonadIO m => m ()
installSignalHandlers = io $ do
    installHandler openEndedPipe Ignore Nothing
    installHandler sigCHLD Ignore Nothing
    (try :: IO a -> IO (Either SomeException a))
      $ fix $ \more -> do
        x <- getAnyProcessStatus False False
        when (isJust x) more
    return ()

看来fix这个函数来自Data.Function

但我不明白它是如何在这里使用的，什么时候有人会使用这个修复功能？

Answer 1

fix 是用于实现递归的基本工具。它总是可以被递归的let 替换——反之亦然，递归的let 可以变成对fix 的调用。在这个例子中，

fix $ \more -> do
    x <- getAnyProcessStatus False False
    when (isJust x) more

等价于

let more = do
        x <- getAnyProcessStatus False False
        when (isJust x) more
in more

实际上是在实现一个循环调用getAnyProcessStatus False False，直到它返回Nothing。