An Introduction to Conflict-Free Replicated Data Types
Xi editor, featured here before [1][2], used CRDTs as a core part of the initial design.  In a retrospective [3] the author found -- paraphrasing -- that the kinds of answers given by CRDTs don't map well onto the problems of making a text editor.That makes me wonder, if not text editing (fair enough) what are CRDTs good at representing?  It seems this free online web course (?!) is trying to teach the abstractions, maybe that would shed some light.More generally, the key problem seems to be something like you need to preserve the lower level behavior (merging rules) in the semantics of the abstraction (CRDT behavior).  That process seems to be an unsolved problem, though I wouldn't be surprised if it's related to other unsolved/unsolvable problems like the halting problem.  Any interesting reads?[1]: https://hn.algolia.com/?query=xi%20editor[2]: https://news.ycombinator.com/item?id=23663878[3]: https://github.com/xi-editor/xi-editor/issues/1187#issuecomm...