实例化新数据类型的Show类

Question

我定义了这些数据类型:

data Term = Symbol [Char] | Number [Int] 
data Exp = Fun (String, Term) | Exp (String, [Exp])

然后我写了一些Show规则:

instance Show Term where
  show (Symbol [x])     = [x]
  show (Symbol (x:xs))  = [x]++", "++(show (Symbol xs))

  show (Number [x])     = (show x)
  show (Number (x:xs))  = (show x)++", "++(show (Number xs))

instance Show Exp where
  show (Fun (name, args)) = name++"("++(show args)++")"
  show (Exp (name, args)) = name++"("++(show args)++")"

现在,如果我让:

bt = Exp("z", [Fun("f", Number [1,2,3]), Fun("g", Symbol ['a', 'b', 'c'])])

显示它我得到:

z([f(1, 2, 3),g(a, b, c)])

我更愿意有这样的表述:

z(f(1, 2, 3),g(a, b, c))

即内部没有方括号.

有人能帮我吗？

我试着添加这些语句:

instance Show [Exp] where
  show [x]    = show x
  show (x:xs) = (show x)++(show xs)

但ghci声称它注意到了法律代码.

Answer 1

您只需更改此行:

  show (Exp (name, args)) = name++"("++(show args)++")"

......所以它说:

  show (Exp (name, args)) = name++"("++(intercalate ", " . map show $ args)++")"

功能intercalate来自Data.List.

Answer 2

您可以showList在Show实例中定义函数Exp.

instance Show Exp where
  show (Fun (name, args)) = name++"("++(show args)++")"
  show (Exp (name, args)) = name++"("++(show args)++")"
  showList [] _ = ""
  showList [x] _ = show x
  showList (x:xs) _ = show x ++ "," ++ show xs