haskell - 向 haskell 类型添加附加信息

Question

我的程序中有 Token 数据类型。它看起来像这样:

data Token
    = StringToken Strin
    | NumberToken Integer
    | IfToken
    | ElseToken
    ... -- lots of tokens here

我在我的解析器ant中使用这个数据类型，它工作得很好。但现在我想向 token 附加一些附加信息(源位置信息)。所以我可以更改我的数据类型声明并使用记录:

data Token
    = StringToken {value :: String, srcLoc :: SourceLocation}
    | NumberToken {value :: String, srcLoc :: SourceLocation}
    | IfToken {srcLoc :: SourceLocation}
    | ElseToken {srcLoc :: SourceLocation}
    ... -- lots of tokens here

但是这个解决方案对我来说似乎不太实用和美观。那么这个问题有没有更好的解决方案呢？谢谢。

Answer 1

是的:

data TokenLoc = TokenLoc {tok::Token , srcLoc::SourceLocation}

这会将 token 和位置存储在一起，但又干净地将它们分开，避免重复。