[raould42]

i thought ocaml ain't pure like that?

[julian_1]

There are a couple of monadic IO systems for Ocaml - Lwt and Async which are pretty commonly used - and enable writing code using typed mutation/side effects.

[pauldirac137]

You thought right. Ocaml is an impure functional language.