Does anyone have any thoughts on this? I am drawn to Ocaml because of its simplicity and it grows more complex in every iteration, I am getting a bit worried. An effects system seems like no small feat.

What are the semantics around shared data?