Haskell Typeclasses:我在这里做错了什么？

Question

Haskell全新并尝试编写解析器.

我已经使用attoparsec成功地将我的输入文件切换成令牌到AST.

我现在想要走AST并从中发出输出.我想我可以通过从类型类派生一些通用例程到Token类,然后在实例中根据Token类型发出代码的需要提供特定函数来实现.

代码可能比我的解释更容易理解.这是我试过的:

class AST a where
  children :: a -> [a]
  prefix :: a -> String
  suffix :: a -> String
  node :: a -> [String]

  children v = []
  prefix v = ""
  suffix v = ""
  node v = [prefix v] ++ (concatMap node $ children v) ++ [suffix v]

data Token =  Line { lnName :: String, lnLines :: Int }
            | LineList { llLines :: [Token] }
            | Init String
            | Main String
            | Step { stId :: String, stDuration :: Float }
            | Scene { scId :: String, scTokens :: [Token] }
            | Sequence { sqId :: String , sqScenes :: [Token] }
            | File {flContents :: [Token]} deriving (Show, AST)

所以我的理解是,如果我从类型类派生出来,那么我写道:

• 我不需要提供实例定义,因为所有函数都有默认实现
• 如果需要,我可以覆盖每个Token类型的默认值

但是我从ghc那里得到了一个错误,这并不是很有帮助

Parser.hs | 27 col 60错误| 无法使AST Token':AST' 的派生实例不是可派生类在"令牌"的数据声明中

很公平,但为什么会这样呢？如何在没有任何更多信息的情况下修复它有点不知所措.任何帮助感激不尽.

我知道这不是一个有用的评论,但我不得不说,绝对爱Haskell.学习是一种快乐:)

Answer 1

deriving可以用于有限的,固定的类型类列表.这里的问题是你需要告诉编译器你定义的函数是AST数据类型的类的实例Token,如下所示:

class AST a where
  children :: a -> [a]
  prefix :: a -> String
  suffix :: a -> String
  node :: a -> [String]

instance AST Token where
  children v = []
  prefix v = ""
  suffix v = ""
  node v = [prefix v] ++ (concatMap node $ children v) ++ [suffix v]

data Token =  Line { lnName :: String, lnLines :: Int }
            | LineList { llLines :: [Token] }
            | Init String
            | Main String
            | Step { stId :: String, stDuration :: Float }
            | Scene { scId :: String, scTokens :: [Token] }
            | Sequence { sqId :: String , sqScenes :: [Token] }
            | File {flContents :: [Token]}
            deriving (Show)