Hackage GenProg示例中的实例错误

Question

因此，我试图得到一个GenProg工作的例子，一个Haskell基因编程库。

但是，我得到了各种实例错误。我猜这个例子是用稍微过时的Haskell写的，只需要稍微修改一下。代码是有意义的，但我对实例的了解还不足以让我自己轻松地重写它。我做了一些调整。

错误：

(MonadRandom-0.1.13:Control.Monad.Random.Class.MonadRandom (Rand StdGen)：无法从上下文实例声明的超类(GenExpr E)中推断出GenExpr(Rand StdGen)

即，实例的第一行。(实际示例如下：https://hackage.haskell.org/package/genprog-0.1/docs/GenProg.html#9 )

{-# LANGUAGE DeriveDataTypeable, FlexibleInstances, FlexibleContexts, MultiParamTypeClasses #-}
-- Just put them in one line, yo~

import GenProg
import GenProg.GenExpr
import Data.Generics
import Control.Monad
import Control.Monad.Random

data E = Plus E E
       | Minus E E
       | Times E E
       | Div E E
       | Const Int
       deriving (Typeable,Data,Eq,Show)

eval :: E -> Maybe Int
eval (Const c)     = Just c
eval (Plus e1 e2)  = liftM2 (+) (eval e1) (eval e2)
eval (Minus e1 e2) = liftM2 (-) (eval e1) (eval e2)
eval (Times e1 e2) = liftM2 (*) (eval e1) (eval e2)
eval (Div e1 e2) | ok        = liftM2 div x1 x2
                 | otherwise = Nothing
  where (x1,x2) = (eval e1,eval e2)
        ok = x2 /= Just 0 && liftM2 mod x1 x2 == Just 0

instance (GenExpr E) => GenProg (Rand StdGen) E where
  terminal    = Const `liftM` getRandomR (1,9)
  nonterminal = do
    r <- getRandomR (0,3)
    [liftM2 Plus terminal terminal,
     liftM2 Minus terminal terminal,
     liftM2 Times terminal terminal,
     liftM2 Div terminal terminal] !! r    

myFitness :: (GenProg.GenExpr.GenExpr E) => Int -> E -> Double
myFitness n e = error + size
  where error = realToFrac $ maybe maxBound (abs . (n-)) (eval e)
        size  = (realToFrac $ nodes e) / 100  

Answer 1

添加导入GenProg.GenExpr.Data使其工作。(在7.6.3版中--这个包似乎没有在其他版本中编译。)使用github.com/jsnajder/genprog/blob/master/src/GenProg.hs版本中的示例: GitHub (它与Hackage版本略有不同)

感谢你注意到这个问题在评论中得到了答复。