haskell - segun - monadologia leibniz resumen

Delimitando la mónada IO

Question

Es bueno saber (en Safe Haskell, al menos) de la firma si algo realiza o no acciones de IO, pero IO abarca muchas cosas diferentes: putStr , acceso a la base de datos, eliminación y escritura de archivos, IORefs, etc.

Si estoy usando las firmas de tipo como una medida de seguridad cuando se ejecuta un código arbitrario, puede ser que esté dispuesto a aceptar algunas acciones de IO ( putStr y el ilk, por ejemplo) pero no otras.

¿Hay una manera de definir una versión restringida de la mónada IO, con solo un subconjunto de las acciones IO normales? Si es así, un ejemplo (con putStr , por ejemplo) sería muy bienvenido.

Answer 1

Como seguimiento a mi comentario, puede implementarlo usted mismo con algo como

class Monad io => Stdout io where
putStr_ :: String -> io ()
putStrLn_ :: String -> io ()
print_ :: Show a => a -> io ()
-- etc
instance Stdout IO where
putStr_ = putStr
putStrLn_ putStrLn
print_ = print
myFunc :: Stdout io => io ()
myFunc = do
val <- someAction
print_ val
let newVal = doSomething val
print_ newVal
main :: IO ()
main = myFunc

Esto no tendrá ninguna sobrecarga de tiempo de ejecución, ya que GHC optimizará esas clases de tipos para usar solo la mónada IO , es extensible, fácil de escribir y se puede combinar con las transformaciones de mónada y la clase MonadIO bastante facilidad. Si tiene varias clases, como una clase Stdin con getLine_ , getChar_ , etc. definida, incluso puede combinar estas clases de tipos con

class (Stdout io, Stdin io) => StdOutIn io where
myFunc :: StdOutIn io => io ()
myFunc = do
val <- getLine_
putStrLn_ $ "Echo: " ++ val
main :: IO ()
main = myFunc

Answer 2

Simplemente defina un newtype alrededor de IO a con una instancia de Monad, defina las versiones envueltas de sus funciones preaprobadas y no exporte el constructor , de modo que solo las funciones que ajustó se puedan usar en la mónada.