2

我正在开发一个快乐的数学表达式和变量解析器。问题是我不知道如何保存变量的值并在以后使用它。有任何想法吗？

这就是我识别表达式和变量赋值的方式：

genExp   : exp                    { $1 }
         | variable '=' exp            { //here I want to save the value of the variable; something like this: insert variables $1 $3, where 'variables' is a Data.Map }

一个表达式可以包含一个变量。例如：

a = 2 + 1
a + 2 (now the parser must print 5)

我需要在解析器解析行'a = 2 + 1'时保存变量'a'的值，并在解析器解析行'a + 2'时获取变量'a'的值

4

1 回答 1

0

您要做的是在评估表达式期间而不是在解析期间跟踪变量的值。假设您将表达式解析为以下类型：

data Expr = Literal Int | Variable Var | Assign Var Expr | Add Expr Expr | ...
newtype Var = Var String deriving (Ord, Eq, Show)

然后，您可以简单地使用所有变量的当前值在您的评估函数周围传递一个 Map：

import qualified Data.Map as M
import Control.Monad.State

data Expr = Literal Int | Variable Var | Assign Var Expr | Add Expr Expr
newtype Var = Var String deriving (Ord, Eq, Show)

-- Each Expr corresponds to a single line in your language, so
-- a = 2+1
-- a + 2
-- corresponds to
-- [Assign (Var "a") (Add (Literal 2) (Literal 1)),
--  Add (Variable (Var "a")) (Literal 2)]
eval :: [Expr] -> Int
eval es = last $ evalState (mapM eval' es) M.empty -- M.empty :: M.Map Var Int
  where
    eval' (Literal n)  = return n
    eval' (Variable v) = do
      vs <- get
      case M.lookup v vs of
        Just x -> return x
        _      -> error $ "variable " ++ show v ++ " is undefined!"
    eval' (Assign v ex) = do
      x <- eval' ex
      modify (M.insert v x)
      return x
    eval' (Add a b) = do
      x <- eval' a
      y <- eval' b
      return (x+y)

当然，没有什么可以阻止您在解析表达式时对表达式求值，从而无需像这样的抽象语法树。那里的总体思路是一样的。在整个解析过程中，您需要保持一些状态，以跟踪所有变量的当前值。

于 2013-05-30T06:33:15.110 回答