Память программных транзакций в Haskell: не удалось сопоставить ожидаемый тип STM a0 с фактическим типом IO ()

Question

У меня есть небольшая программа, которая определяет учетную запись, функцию вывода и пытается выйти из нее.Однако он не компилируется должным образом и выдает следующую ошибку:

Couldn't match expected type ‘(STM a0 -> IO a0)
                                    -> STM () -> IO ()’
                  with actual type ‘IO ()’

Похоже, что компилятор не распознает преобразование из STM в IO.Любые указатели были бы великолепны.

import System.IO
import Control.Concurrent.STM

type Account = TVar Int

withdraw :: Account -> Int -> STM ()
withdraw acc amount = do
    bal <- readTVar acc    
    writeTVar acc (bal - amount)

good :: Account -> IO ()
good acc = do
    hPutStr stdout "Withdrawing..."
    {-hi-}atomically{-/hi-} (withdraw acc 10)

main = do
    acc <- atomically (newTVar 200)
    good acc 
    hPutStr stdout "\nDone!\n"

Answer 1

Комментарии {-hi-} и {-/hi-} приводят к "отступу" automically, поэтому в результате вы написали hPutStr stdout "Withdrawing..." atomically (withdraw acc 10).Например, если вы напишите:

good :: Account -> IO ()
good acc = do
        hPutStr stdout "Withdrawing..."
 {-hi-} atomically (withdraw acc 10)

, он работает нормально, поскольку «шум» (комментарий {-hi-}) не приводит к встраиванию функции atomically.

Комментарийна самом деле семантически не действует, но вы можете считать его замененным пробелом.