技术问询：如何让Haskell中的线程无限期持续运行？

Haskell的GHC Runtime有个关键特性：主线程终止时，所有其他线程会被强制终止。所以要让线程无限运行，既要保证线程自身有持续执行的逻辑，也要确保主线程不会提前退出。下面是几种实用的实现方式：

1. 无限循环+休眠避免CPU空转 #

用forkIO创建线程后，通过forever（来自Control.Monad）执行循环逻辑，搭配threadDelay控制执行频率，避免空循环占用过多CPU资源。同时主线程也要保持运行，防止程序整体退出。

示例代码：

import Control.Concurrent (forkIO, threadDelay)
import Control.Monad (forever)

main :: IO ()
main = do
    -- 启动后台线程
    forkIO $ forever $ do
        putStrLn "后台线程持续运行中..."
        threadDelay 1000000  -- 休眠1秒（单位：微秒）
    -- 让主线程无限阻塞，阻止程序退出
    forever $ threadDelay maxBound

2. 阻塞在永远不会完成的同步原语上 #

利用Haskell的并发同步原语（比如MVar、Chan），让线程阻塞在一个永远不会被触发的等待操作上，线程会一直处于挂起状态，不会退出。

示例代码：

import Control.Concurrent (forkIO, newEmptyMVar, takeMVar)

main :: IO ()
main = do
    emptyMVar <- newEmptyMVar
    forkIO $ do
        putStrLn "线程启动，进入无限等待..."
        takeMVar emptyMVar  -- 永远不会拿到值，线程持续阻塞
    -- 主线程同样阻塞，防止程序结束
    takeMVar emptyMVar

3. 结合业务逻辑的持续运行 #

在实际业务场景中，线程可以持续监听外部资源（比如网络端口、消息队列），这些操作本身就是阻塞或循环的，天然能让线程保持运行状态。

示例代码（监听网络连接）：

import Control.Concurrent (forkIO)
import Network.Socket (Socket, accept, socket, AF_INET, Stream, defaultProtocol, bindSocket, listen, SockAddr(SockAddrInet), inet_addr)
import Network.Socket.ByteString (recv)
import qualified Data.ByteString as BS
import Control.Monad (forever)

main :: IO ()
main = do
    sock <- socket AF_INET Stream defaultProtocol
    let port = 8080
        host = "127.0.0.1"
    hostAddr <- inet_addr host
    bindSocket sock $ SockAddrInet port hostAddr
    listen sock 5
    -- 启动线程处理连接
    forkIO $ forever $ do
        (conn, addr) <- accept sock
        putStrLn $ "收到来自" ++ show addr ++ "的连接"
        dataBS <- recv conn 1024
        putStrLn $ "收到数据: " ++ show dataBS
    -- 主线程保持运行
    forever $ threadDelay maxBound

注意事项 #

• 绝对不要使用forever $ return ()这种空循环，会导致线程疯狂占用CPU，必须搭配休眠或阻塞操作。
• 主线程的存活是所有后台线程运行的前提，务必保证主线程不会提前终止。

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