Hacker News new | ask | show | jobs
by toomim 1290 days ago
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.
1 comments
preseinger 1289 days ago
Er, how can you express the merge operation as a type?
link
toomim 1289 days ago
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-...

link
preseinger 1288 days ago
> A Merge Type is a function

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

link