8 ms·
Sounds cool. I played with STM in Haskell and liked it. YC might fund you to explore this, both technically and monetarily.
by quickthrower2 3y ago
Sounds cool. I played with STM in Haskell and liked it. YC might fund you to explore this, both technically and monetarily.
- senderista 3y agoIndeed, my API is inspired by Haskell's STM: it's essentially just TVars with `atomically` and `retry` (I'm not yet convinced `orElse` is worth the implementation effort). FWIW, there's at least one C++ project along similar lines, which is actually used in a commercial product (but is much less scalable: it uses a single R/W lock to serialize all concurrency): https://www.youtube.com/watch?v=k20nWb9fHj0 https://www.youtube.com/watch?v=k20nWb9fHj0 https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2015/n4438.pdf https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2015/n44...