[Haskell-beginners] one more step backwards

31 Jan 2010

      Hi ,
     With help I got the following to print out each step in the evaluation
of the add. However I was just wondering if it was possible to make the
evaluation go back one step at a time. I tried to use a get count function
but this doesnt seem so easy.

data Expression = Val Integer
                | Add Expression Expression
                | Subtract Expression Expression
                | Multiply Expression Expression
                | Divide Expression Expression
         deriving Show
demo1 = (Add(Add(Add(Add(Val 6)(Val 5))(Val 10))(Val 7))(Val 30))
evalStep :: Expression ->  Expression
evalStep (Val x)=  (Val x)
evalStep (Add x y)
   = case x of
       (Val a) -> case y of
                    (Val b) -> Val (a+b)
                    left -> Add x (evalStep y)
       right -> Add (evalStep x)y

evaluate :: Expression ->  IO ()
-- Base case
evaluate (Val a) = return ()

-- Recursive case
evaluate e = do
      putStrLn "Evaluating one more step"
      let e' =  (evalStep e)
      putStrLn ("Result is "++(show e'))
      putStrLn "Do another step (y/n)? :"
      c <- getLine
             if (c=="y")then
         evaluate e'
       else putStrLn("Ok you said" ++ show[c] ++ "so that's it" ++ show
getCount)

getCount:: Expression ->  Int
getCount e' = n, n=1

 if(getCount == 1) then
            putStrLn ("Cannot go back")
  else putStrLn ("One step back" ++ show n-1)

All thoughts welcome!

john

[Haskell-beginners] one more step backwards

John Moore