Hi Lorenzo,

On Sun, Feb 4, 2018 at 1:14 PM, Lorenzo Pomili <lorenzo.pomili85@gmail.com>
wrote:

> Thanks for reply, one more question there is a way in OCaml, for know if
> function can produce side effects? I mean automatic way not read
> documentation or source code ^^"
>

Currently no. But there is ongoing research and development on introducing
algebraic effect handlers to OCaml, which will mark functions at the type
level (if I understand correctly) as effectful:
http://kcsrk.info/ocaml/multicore/2015/05/20/effects-multicore/

Regards,

Yawar