Как заставить yesod/warp закрыть дескрипторы открытых файлов перед обработкой следующего запроса?

Даже без -threaded исполняющая среда Haskell будет иметь несколько совместно работающих «зеленых потоков». Вам нужно использовать Control.Concurrent, чтобы ограничить доступ к файл, потому что вы не можете иметь несколько потоков, записывающих в него одновременно.

Самый простой способ — добавить MVar () в ваш Server и пусть каждый запрос "берет" устройство из MVar перед открытием файла, а затем возвращает его после завершения операции с файлом. Вы можете использовать bracket, чтобы убедиться, что блокировка снята, даже если запись файла не удалась. Например. что-то типа

import Control.Concurrent
import Control.Exception (bracket_)

type Lock = MVar ()
data Server = Server { fileLock :: Lock }

saveRegistration :: Registration -> Lock -> IO ()
saveRegistration r lock = bracket_ acquire release updateFile where
    acquire = takeMVar lock
    release = putMVar lock ()
    updateFile =
        withFile "registrations.txt" AppendMode (\h -> hPutStrLn h $ "+" ++ show r)

Совершенно нормально писать в Handle из нескольких потоков. На самом деле внутри Handle есть MVar, чтобы предотвратить странное параллельное поведение. Вероятно, вы хотите не обрабатывать [sic] MVars вручную (что может привести к взаимоблокировке, если, например, обработчик выдает исключение), а поднимать вызов withFile вне отдельных потоков обработчика. Файл остается открытым все время - открытие его при каждом запросе в любом случае будет медленным.

Я мало что знаю о Yesod, но я бы порекомендовал что-то вроде этого (вероятно, не компилируется):

data Server = Server { handle :: Handle }

postRegR :: Handler Html
postRegR = do
    h <- handle `fmap` getYesod
    result <- runInputPost $ Registration
        <$> ireq textField "text"
    liftIO $ saveRegistration h result
    defaultLayout [whamlet|<p>#{show result}|]

saveRegistration :: Handle -> Registration -> IO ()
saveRegistration h r = hPutStrLn h $ "+" ++ show r

main :: IO ()
main = withFile "registrations.txt" AppendMode $ \h -> warp 8080 (Server h) 
-- maybe there's a better way?

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