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