OCaml函数`read_line`为何类型为`unit -> string`？

这主要是函数式编程语境下的设计习惯，核心目的是明确标记副作用、统一类型规则，具体原因有这几点：

• 区分纯函数和副作用操作：读取字符串（比如从标准输入、文件读取）属于带有副作用的操作——它依赖外部状态（比如输入流的位置），每次调用的结果可能不同，甚至会改变外部环境。接收unit参数（唯一值是()）相当于给函数打了个标签：“我不是纯函数，执行我会产生副作用，你得显式触发我”。如果这类操作做成无参函数，很容易和纯函数（比如返回固定字符串的函数）混淆。
• 适配静态类型系统的规则：在OCaml、F#这类函数式语言里，所有函数都遵循“输入类型→输出类型”的结构。没有实际输入的操作，用unit作为输入类型能让它符合统一的函数类型规范，避免语言为无参函数做特殊处理，简化类型检查逻辑。
• 精确控制执行时机：如果是无参函数，有些语言里可能会在定义阶段就隐式执行；而接收unit的函数必须显式传递()才会运行，这能让开发者精准控制副作用发生的时机，避免意外执行。

举个OCaml的例子：

(* 带有副作用的读取函数，必须传unit *)
let read_input () = read_line ()

(* 调用时必须显式触发 *)
let input = read_input ()

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