It's not exactly the same, but that's pretty comparable to a g-counter CRDT, which is very straightforward to implement in a purely-functional language: https://github.com/QuinnWilton/distsys_training/blob/master/...