庫來解析和檢查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。