1

我试图编写一个基于数字类的随机数生成器实现。我还在那里添加了 Monad 和 MonadPlus 实例。

“MonadPlus”是什么意思，为什么我要添加这个实例？因为我想在这里使用警卫：

--  test.hs       --

import RandomMonad
import Control.Monad
import System.Random 

x = Rand (randomR (1 ::Integer, 3)) ::Rand StdGen Integer

y = do
 a <-x
 guard (a /=2) 
 guard (a /=1)
 return a

这里是 RandomMonad.hs 文件内容：

-- RandomMonad.hs --

module RandomMonad where
import Control.Monad
import System.Random 
import Data.List 
data RandomGen g => Rand g a = Rand (g ->(a,g))  | RandZero

instance (Show g, RandomGen g) => Monad (Rand g)
 where
 return x = Rand (\g ->(x,g))
 (RandZero)>>= _ = RandZero

 (Rand argTransformer)>>=(parametricRandom) =  Rand funTransformer 
  where 
  funTransformer g | isZero x = funTransformer g1
                   | otherwise = (getRandom x g1,getGen x g1)
   where
   x = parametricRandom val
   (val,g1) = argTransformer g
   isZero RandZero = True
   isZero _ = False

instance (Show g, RandomGen g) => MonadPlus (Rand g)
 where
 mzero = RandZero
 RandZero `mplus` x = x
 x `mplus` RandZero = x
 x `mplus` y = x 

getRandom :: RandomGen g => Rand g a ->g ->a
getRandom (Rand f) g = (fst (f g)) 
getGen :: RandomGen g => Rand g a ->g -> g
getGen (Rand f) g = snd (f g)

当我运行 ghci 解释器并给出以下命令时

getRandom y (mkStdGen 2000000000)

我可以在我的计算机上看到内存溢出 (1G)。这是意料之外的，如果我删除一名守卫，它的工作速度非常快。为什么在这种情况下它工作得太慢？

我做错了什么？

4

2 回答 2

3

你的定义(>>=)肯定是错误的，但我无法指出哪里，因为它太复杂了！相反，我将用一个例子来解释为什么它不能被正确定义。考虑：

Rand (\g -> (42,g)) >>= const mzero

我们需要把它弄42出来，所以我们需要一个g. 得到g的地方是从bind的返回值，所以答案肯定是：

Rand (\g -> ...)

对于一些...，负责退还一(b,g)对。现在我们有 42 个，我们可以评估const mzero 42并发现我们有RandZero 但是我们要从哪里得到b呢？它不存在（事实上，在这个例子中，它可以是任何类型，因为表达式的类型是forall b. Rand b）。

RandZero你的 monad的目的是什么？你只是想制作StateT g Maybe吗？我的猜测是你是。在这种情况下，您可能会更幸运地尝试实现这种类型：

newtype Rand g a = Rand (g -> Maybe (a, g))
于 2010-04-01T09:51:40.633 回答
1

如果我正确理解您的“单子”，(>>=)则无法关联。尝试定义

y' = do a <- do a' <- x
                guard (a' /= 2)
                return a'
        guard (a /= 1)
        return a

检查是否是这种情况。实际上，您的回溯策略只能撤消最后一步，而不是整个计算。

于 2010-04-01T15:03:54.143 回答