早期Haskell实现如何不借助Monad构造与转换IO操作？

早期Haskell并未使用Monad来处理IO，而是基于**显式世界状态传递（World Passing）**的模型，核心逻辑是将外部世界的状态抽象为一个World类型，所有IO操作都被定义为对这个状态的转换函数：

type IO a = World -> (a, World)

1. 基础IO操作的构造 #

语言内置了直接操作World的原语：

• 输入类操作（如读取控制台输入）：接收当前World，从中提取输入数据，返回**(读取结果, 更新后的World)**
• 输出类操作（如打印内容）：接收当前World和待输出数据，返回**(空单元, 更新后的World)**

这些原语直接与底层系统交互，负责实际的IO行为和世界状态的更新。

2. IO操作的组合与转换 #

要串联多个IO操作，需要手动传递World状态，确保操作按顺序执行：

-- 先读取输入再打印的示例
readThenPrint :: IO ()
readThenPrint world = 
  let (input, updatedWorld1) = getLine world  -- 第一次更新世界状态
      (_, updatedWorld2) = putStrLn input updatedWorld1  -- 传递新状态给下一个操作
  in ((), updatedWorld2)

为了简化重复的状态传递，早期实现会提供组合子封装这一逻辑，比如bind的雏形：

bind :: IO a -> (a -> IO b) -> IO b
bind ioAction nextAction world = 
  let (result, newWorld) = ioAction world
  in nextAction result newWorld

通过这类组合子，开发者可以避免手动编写状态传递代码，用更简洁的方式组合IO操作——这其实就是后来Monad中>>=操作的前身。

局限性与Monad的演化 #

这种显式传递World的模式虽然能实现IO，但存在明显问题：代码繁琐、可读性差，且容易因误用旧的World状态导致IO顺序混乱。后来Monad的抽象将这种状态传递模式规范化，提供了统一的接口和语法糖（如do记法），让IO代码更简洁、安全，但本质上IO Monad的核心逻辑和早期的世界传递模型是等价的。

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