IO 操作如何在 F# 上工作

Question

haskell 上有 IO monad 来保持它的纯净。我知道 f#/ocaml 支持可变状态，但 IO 操作实际上是如何工作的。 haskell 的 IO monad 对应的概念是什么。

Answer 1

F# 不纯。它继承了 Caml 允许随处更改 IO 和状态（例如分配给可变变量）的传统。例如：

let f : int -> int =
   fun x -> 
      printf "Hello\n";
      x+1

printf "%d\n" (f 1 + f 2)      (* prints Hello twice, then 5 *)

不过，如果您想使用 Monad，您仍然可以在 F# 中找到它们。 Computation expressions 大致对应于 monad。