News for hackers. Stuff that matters.
Re:A look at Unison: a revolutionary programming language by goto11 on Wednesday January 11, 2023 @11:28AM (#34340269)
So the AST is transferred over the wire? How is it serialized?
Re:A look at Unison: a revolutionary programming language by zawodnaya on Wednesday January 11, 2023 @06:47PM (#34346804)
It’s a binary-encoded merkle tree
Re:A look at Unison: a revolutionary programming language by __MatrixMan__ on Wednesday January 11, 2023 @11:41PM (#34349302)
It's in a sqlite database. Unison doesn't prescribe how those are passed around, but since everything is content addressed there are never any collisions. You can always merge two of them into one without having to resolve conflicts and without breaking anything.

The way I intend to use it is that users periodically fetch the codebases from all of the developers that they trust. This has no immediate effect because you're still calling the same function that you're used to. So the sync can be very latency tolerant.

Then, when you decided to use the new version of something, you call the new hash. If something goes wrong, you just go back to calling the old hash--atomic upgrade/downgrades, no merge conflicts.