Also, yes, great pickup re: transactional memory. We talk about this internally all the time, this is the inspiration. Haskell: IO -> STM -> (pure) Convex: (T

Also, yes, great pickup re: transactional memory. We talk about this internally all the time, this is the inspiration. Haskell: IO -> STM -> (pure) Convex: (The browser / Convex Actions / other effectful environments) -> Mutations -> queries All the same benefits re: retry and memoization. Steal steal from Haskell, so many great ideas there.