@sun If your code is such that you can just look at it and see the shape of the correctness proof by induction you are doing it correctly.

What i have seen a lot in erlang though is people abusing processes to keep writing OO-style just with weird syntax.
That's probably the masturbation you refer to?