Писатель, реализованный с помощью Operational Monad, не работает лениво - PullRequest
Новая
       47

Писатель, реализованный с помощью Operational Monad, не работает лениво

10 голосов
/ 26 декабря 2011

Я написал монаду с функциональностью Writer, используя подход Operational Monad.Затем я заметил, что это не работает лениво.

В приведенном ниже коде есть rogueWriter, который выполняет бесконечно много операторов, каждый из которых записывает строку.Программа не завершает althaugh, требуются только некоторые символы бесконечного вывода.

После анализа я заметил, что писатель-мошенник на самом деле довольно дружелюбен (ха-ха), потому что, когда я изменяю с runMyWriter rogueWriter на runWriter rogueWriter,все идет хорошо.

Вопросы:

  1. Как лучше всего объяснить поведение?
  2. Как мне изменить свой код, чтобы он работал?
  3. Какие монадные трансформаторы SomeMonadT возникают с такой же проблемой в
    SomeMonadT Writer w соотв.WriterT w SomeMonad (возможно, несколько примеров?)

Редактировать: Возможно ли, что я пытаюсь перевернуть бесконечную строку здесь?Разительная разница между решением Шерда Висшера и моим: 

w `mappend` ws  resp.  ws `mappend` w

Код: 

{-# LANGUAGE GADTs, FlexibleContexts, TypeSynonymInstances,
                    FlexibleInstances, MultiParamTypeClasses #-}

module Writer where

import Control.Monad.Identity
import Control.Monad.Operational
import Control.Monad.Writer
import Data.Monoid

data MyWriterI w a where
    Tell :: w -> MyWriterI w ()

type MyWriterT w = ProgramT (MyWriterI w)

type MyWriter w = (MyWriterT w) Identity

runMyWriterT :: (Monad m, Monoid w) => MyWriterT w m a -> m (a, w)
runMyWriterT prog = run prog mempty
  where
    run prog ws = viewT prog >>= flip eval ws
    eval (Return a)       ws = return (a, ws)
    eval (Tell w :>>= is) ws = run (is ()) (ws `mappend` w)

runMyWriter :: (Monoid w) => MyWriter w a -> (a, w)
runMyWriter prog = runIdentity (runMyWriterT prog)

instance (Monad m, Monoid w) => MonadWriter w (MyWriterT w m) where
    tell   = singleton . Tell
    listen = undefined
    pass   = undefined

-- Demonstration of the problem:

rogueWriter :: MonadWriter String m => m ()
rogueWriter = mapM_ (tell . show) [1..]

main = let (_, infiniteOutput) = runMyWriter rogueWriter
       in putStrLn (take 20 infiniteOutput)

1 Ответ

6 голосов
/ 26 декабря 2011

Я не знаю точно, почему ваша программа дает сбой, но я бы так написал: 

runMyWriterT prog = run prog
  where
    run prog = viewT prog >>= eval
    eval (Return a)       = return (a, mempty)
    eval (Tell w :>>= is) = do
      ~(r, ws) <- run (is ())
      return (r, w `mappend` ws)
...