我想知道在IO monad尚未发明的时代,Haskell中的I/O是如何完成的.任何人都知道一个例子
编辑:现代Haskell中没有IO Monad可以完成I/O吗？我更喜欢一个适用于现代GHC的例子.
Haskell中的monadic IO构造只是一个约定,还是有一个实现原因呢？
你能不能只用FFI进入libc.so而不是你的IO,并跳过IO Monad组件？
无论如何它会起作用,或者结果是不确定的,因为Haskell评估懒惰或其他东西,比如GHC是IO Monad的模式匹配,然后以特殊方式或其他方式处理它.
真正的原因是什么？最后你最终会产生副作用.那么为什么不这么简单呢？