следующего механизма:
Есть какое-то значение в памяти, пусть будет количество товара. Одновременно, много параллельных потоков (процессов), пополняют и изымают товар. При этом попытки изъятия большего количества товара отклоняются. Возможно ли реализовать такое в Haskell, или иммутабельность не позволит?
STM
Благодарю. Буду изучать.
а также IORef, базы данных
Иореф не для этого, грешновато такое советовать.
atomicModifyIORef вполне может подойти. но TVar — более общее, да
Не для start это всё. Очень специфические оптимизации, когда знаешь что делаешь. Начинать надо всегда с STM.
Обсуждают сегодня