4 ms·

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

by toomim 4y 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.

preseinger 4y ago
Er, how can you express the merge operation as a type?
- toomim 4y ago
  See https://raw.githubusercontent.com/braid-org/braid-spec/master/draft-toomim-httpbis-merge-types-00.txt 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-flatten-bubbles-in-space https://braid.org/demo/interact#a-merge-type-defines-how-to-...
  - preseinger 4y ago
    > A Merge Type is a function Er, okay, if you redefine "type" to mean "function" then sure.