top | item 45894962

(no title)

scottmas | 3 months ago

So cool! Any languages support STM first class besides Haskell?

discuss

Scala supports it with for-comprehensions which are equivalent to Haskell's do-notation but STM is not part of the Scala standard library. Zio and Cats Effect are two popular Scala effects systems with STM.

LelouBil|3 months ago

Not "first class" but pretty good in Kotlin

https://arrow-kt.io/learn/coroutines/stm/

spencerflem|3 months ago

The new Verse lang by Epic Games & a core Haskell contributor has a lot of transaction features. I don’t know if it’s exactly the same as STM though.

andersa|3 months ago

Verse only supports single-threaded transactional memory. Epic hasn't yet demonstrated that their approach can actually scale to be used from multiple threads in a useful manner, though they claim that it will.

vijaysharma12|3 months ago

I believe Clojure has first class support for STM.

CGamesPlay|3 months ago

Looks like somebody made a Rust experiment back when Rust was new: https://docs.rs/stm/latest/stm/

lmm|3 months ago

Scala has great STM in the same way (monad-based).

cosmic_quanta|3 months ago

I think a decade ago or so, people started trying to integrate STM in Pypy

stackghost|3 months ago

There are c++ libraries that offer it.