A software engineer website

Polysemy: Design heuristics: IO hunting

Gautier DI FOLCO March 15, 2023 [Haskell] #haskell #polysemy #design #effects systems

When it come to designing effects, an efficient way to know where to start is to look for IO (especially in embed/embedFinal).

Let's have a look at a IO-oriented code:

actEmbed :: Members '[Embed IO] r => Sem r ()
actEmbed = do
  embed $ putStrLn "Do stuff"
  embed $ threadDelay 250
  embed $ putStrLn "Do even more stuff"

We can reuse Trace and introduce Pause to improve it:

actLifted :: Members '[Trace, Pause] r => Sem r ()
actLifted = do
  trace "Do stuff"
  pause 250
  trace "Do even more stuff"

Way better, here's our effect and the default interpreter:

data Pause (m :: Type -> Type) a where
  Pause :: Int -> Pause m ()

makeSem ''Pause

runPause :: Member (Embed IO) r => InterpreterFor Pause r
runPause =
  interpret $
      Pause x -> embed $ threadDelay x

We can leverage our new effect with a new interpreter:

runPauseAltered :: Member (Embed IO) r => (Int -> Int) -> InterpreterFor Pause r
runPauseAltered n =
  interpret $
      Pause x -> embed $ threadDelay $ n x

It will help us to change duration (reduce it in tests, increase it to debug, making it vary to see if something break).

See the full the code here.