Clojurians Log v2
Clojure programming
Channels
Apps
datahike
https://datahike.io/, Join the conversation at https://discord.com/invite/kEBzMvb, history for this channel is available at https://clojurians.zulipchat.com/#narrow/stream/180378-slack-archive/topic/datahike
whilo 2019-11-21T01:12:56.179900Z
@steedman87 Not yet. This article has been influenced by our work on replikativ though and we aim to get there again. I just think that CRDT's as an abstraction are too object oriented, we have a collaboration with Martin Kleppmann, who formalized them on top of Datalog https://speakerdeck.com/ept/data-structures-as-queries-expressing-crdts-using-datalog
cjsauer 2019-11-28T21:48:54.198500Z
@whilo practically speaking, am I correct in mapping what this formalization calls “ops” to datoms in a fact store like datahike? Or perhaps they can be mapped to transaction data/results.
whilo 2019-11-28T22:26:14.198700Z
You can use datoms both to represent ops or state, but here Martin stores ops, yes.
whilo 2019-11-21T01:13:24.180300Z
@csm301 Cool, I think so too 🙂.