库来解析和检查Haskell代码？

Question

在hackage中是否有任何库可以解析haskell代码并检查它是否是有效代码？

我愿意打了一下与进化模型，我想检查的代码生成字符串将编译而不必将它们写入磁盘并运行编译器。

理想情况下，能够在字符串中运行代码也很好，但只能检查代码的有效性。

如果你知道关于检查其他语言（LISP，C，...），这将是很好过的解析器库（在Haskell）。

Answer 1

为了解析Haskell代码，您可以使用只

• haskell-src
• 或haskell-src-exts

后者处理所有的GHC扩展（然后一些），而前者解析Haskell 98.以下是使用示例：

Prelude> import Language.Haskell.Exts.Parser 

Prelude Language.Haskell.Exts.Parser> parseModule "main = putStrLn \"Hello\"" 
ParseOk (Module (SrcLoc {srcFilename = "<unknown>.hs", srcLine = 1, srcColumn = 1}) (ModuleName "Main") [] Nothing (Just [EVar (UnQual (Ident "main"))]) [] [PatBind (SrcLoc {srcFilename = "<unknown>.hs", srcLine = 1, srcColumn = 1}) (PVar (Ident "main")) Nothing (UnGuardedRhs (App (Var (UnQual (Ident "putStrLn"))) (Lit (String "Hello")))) (BDecls [])]) 

Prelude Language.Haskell.Exts.Parser> parseModule "main == putStrLn \"Hello\"" 
ParseFailed (SrcLoc {srcFilename = "<unknown>.hs", srcLine = 1, srcColumn = 25}) "TemplateHaskell is not enabled" 

注意，即使代码解析正确的，但这并不意味着它会进行类型检查：

Prelude Language.Haskell.Exts.Parser> parseModule "main = putStrLn2 \"Hello\"" 
ParseOk (Module (SrcLoc {srcFilename = "<unknown>.hs", srcLine = 1, srcColumn = 1}) (ModuleName "Main") [] Nothing (Just [EVar (UnQual (Ident "main"))]) [] [PatBind (SrcLoc {srcFilename = "<unknown>.hs", srcLine = 1, srcColumn = 1}) (PVar (Ident "main")) Nothing (UnGuardedRhs (App (Var (UnQual (Ident "putStrLn2"))) (Lit (String "Hello")))) (BDecls [])]) 

因此，对于您的具体使用情况下，它可能是更好的使用GHC API这也可以让你进行类型检查解析的代码，或只是在您的文件上运行ghc -c。

为了解析C代码，有language-c。

如果你需要分析一些其他的语言，看看this类别上Hackage。例如，这里是a parser for S-expressions。