Início / coding / Perguntas / 78300861
Accepted
Enlico
Asked: 2024-04-10 04:03:23 +0800 CST

Posso usar StateT/MaybeT/forever para eliminar a recursão explícita desta ação IO?

  • 772

Eu tenho um programa como este,

start :: [Q] -> R -> IO R
start qs = fix $ \recurse r -> do
  q <- select qs
  (r', exit) <- askQ q r
  (if exit
    then return
    else recurse) r'

que pega uma lista de Qperguntas, uma Report, e retorna uma nova Report, na IOmônada porque selectprecisa escolher uma pergunta aleatoriamente (e também porque askQvai esperar pela entrada do teclado do usuário); no entanto, o usuário não escolheu exitdurante a execução askQ, startirá chamar a si mesmo recursivamente. ( fix $ \recurseé o truque para escrever um lambda recursivo. )

O código acima se parece muito com algumas coisas:

Mas não é possível dizer se alguma ou mais dessas abstrações podem ser usadas para escrever o código acima de uma forma mais idiomática, evitando o mais importante a recursão explícita.

haskell

2 respostas

  1. Best Answer

    Bem, o resultado seria algo como:

    type M = MaybeT (StateT R IO)

start :: [Q] -> M ()
start qs = forever (select qs >>= askQ)

    Isso pressupõe que selecte askQserá reescrito para ser executado na Mmônada em vez de IO:

    select :: [Q] -> M Q
askQ :: Q -> M ()

    O resultado é muito... sucinto.

    Um exemplo independente, para a posteridade...

    import Data.Coerce
import Control.Applicative
import Control.Monad
import Control.Monad.State
import Control.Monad.Trans.Maybe
import System.Random

newtype Q = Q String deriving (Show)
newtype R = R [String] deriving (Show)

type M = MaybeT (StateT R IO)

runM :: M a -> IO (Maybe a, R)
runM = flip runStateT (R []) . runMaybeT

select :: [Q] -> M Q
select qs = (qs !!) <$> randomRIO (0, length qs - 1)

askQ :: Q -> M ()
askQ (Q q) = do
  liftIO $ putStrLn q
  r <- liftIO getLine
  if r == "exit" then mzero
    else modify (coerce (r:))

start :: [Q] -> M ()
start qs = forever (select qs >>= askQ)

main :: IO ()
main = do
  result <- runM $ start [ Q "Is this idiomatic?"
                         , Q "Seriously, what's wrong with recursion?"
                         ]
  print result

    Parece funcionar:

    λ> main
Seriously, what's wrong with recursion?
nothing
Is this idiomatic?
yes
Is this idiomatic?
exit
(Nothing,R ["yes","nothing"])
    • 5

  2. Como tenho brincado com esquemas de recursão ultimamente, pensei em tentar um hilomorfismo monádico

    import Data.Functor.Foldable.Exotic
import Data.Functor.Base (NonEmptyF(..))

start qs = hyloM alg coalg where
  -- Build up a non-empty list ending with the final report.
  coalg r = do q <- select qs
               (r', exit) <- askQ q r
               return $ NonEmptyF r' (if exit then Nothing else Just r')

  -- Wade through the "other" reports to get to the last one.
  alg (NonEmptyF _ (Just x)) = return x
  alg (NonEmptyF r Nothing) = return r

    É quase certo que há espaço para melhorias aqui. (Pensando bem, tenho quase certeza de que a lista de relatórios ruins não está "fundida".)

    • 0

relate perguntas