Thread
Stories related to "Replicating SalesForce data to PostgreSQL using Haskell" across the full archive.
This post is nearly a year old, but I've just revised and improved it. It now contains the most complete explanation of exclusion constraints (which are awesome!) that I can find.
Abstract: "We introduce Carol, a refinement-typed programming language for replicated data stores. The salient feature of Carol is that it allows programming and verifying replicated store operations modularly, without consideration of other operations that might interleave, and sequentially, withou...