News for hackers. Stuff that matters.

A comment on You might not need a CRDT. Parent comment

Re:You might not need a CRDT by toomim on Monday December 05, 2022 @02:47PM (#33870846)
Yes! We call this the "Merge Type" of data in the braid.org group.

Each datum as both a data type and a merge type. The programmer just needs to specify these two types, and then the programming runtime can choose which synchronization algorithm to use.

[ Parent | on HN ]
Re:You might not need a CRDT by preseinger on Tuesday December 06, 2022 @02:46PM (#33885956)
Er, how can you express the merge operation as a type?
[ Parent | on HN ]
Re:You might not need a CRDT by toomim on Tuesday December 06, 2022 @06:01PM (#33888319)
See https://raw.githubusercontent.com/braid-org/braid-spec/maste...

And for a more intuitive explanation, this might help: https://braid.org/demo/interact#a-merge-type-defines-how-to-...

[ Parent | on HN ]
Re:You might not need a CRDT by preseinger on Wednesday December 07, 2022 @06:40PM (#33901994)
> A Merge Type is a function

Er, okay, if you redefine "type" to mean "function" then sure.

[ Parent | on HN ]