3

次の Haskell コードを検討してください。

module Expr where

    -- Variables are named by strings, assumed to be identifiers:

    type Variable = String

    -- Representation of expressions:

    data Expr = Const Integer
          | Var Variable
          | Plus Expr Expr
          | Minus Expr Expr
          | Mult Expr Expr
          deriving (Eq, Show)


    simplify :: Expr->Expr

    simplify (Mult (Const 0)(Var"x"))
     = Const 0 
    simplify (Mult (Var "x") (Const 0))
     = Const 0
    simplify (Plus (Const 0) (Var "x")) 
    = Var "x"
    simplify (Plus (Var "x") (Const 0))
     = Var "x" 
    simplify (Mult (Const 1) (Var"x")) 
    = Var "x"
    simplify (Mult(Var"x") (Const 1))
     = Var "x" 
    simplify (Minus (Var"x") (Const 0))
     = Var "x"
    simplify (Plus (Const x) (Const y)) 
    = Const (x + y)
    simplify (Minus (Const x) (Const y))
    = Const (x - y)
    simplify (Mult (Const x) (Const y))
     = Const (x * y)
    simplify x = x

    toString :: Expr->String

式を文字列表現に変換するにはどうすればよいですか?

例えば

toString (Var "x") = "x"  
toString (Plus (Var "x") (Const 1)) = "x + 1"  
toString (Mult (Plus (Var "x") (Const 1)) (Var "y"))  
       = "(x + 1) * y"
4

3 に答える 3

3

関数を toString と呼ぶよりも、Show 型の classを使用する方が望ましい場合があります。次に、Show のインスタンスを使用できる場所ならどこでも、データ型を使用できます。Show は、「もの」を文字列に変換する Haskell の標準的な方法です。

instance Show Expr where
    show (Var "x") = "x"
    -- etc.
于 2008-11-26T22:36:44.620 に答える
1

あなたはほとんどそれを持っているように見えます。

これが例です

toString (Plus e1 e2) = (toString e1) ++ " + " ++ (toString e2)
toString (Const i) = show i
于 2008-11-26T20:24:50.830 に答える
0

これについて知っておくべきことはすべてここにあります: http://augustss.blogspot.com/2007/04/overloading-haskell-numbers-part-1.html

于 2008-11-26T19:21:07.197 に答える