如何获取秒差距解析倍数表达

Question

我下面这个方案翻译教程：http://en.wikibooks.org/wiki/Write_Yourself_a_Scheme_in_48_Hours/

，但似乎无法弄清楚如何设置REPL或秒差距，所以我可以有解释的整体功能源文件。我想要做的是能够从REPL进入这样的事情：

:l ~/myscheme.scm 

和文件将被解释。现在，它所做的只是解析一个表达式，而忽略其余部分。我可以看到为什么这样 - readExpr只读取1个表达式。

分析器摘录，整个代码可以在这里找到：http://en.wikibooks.org/wiki/Write_Yourself_a_Scheme_in_48_Hours/Parsing

parseExpr :: Parser LispVal 
parseExpr = parseAtom 
     <|> parseString 
     <|> parseNumber 
     <|> parseQuoted 
     <|> do char '(' 
       x <- try parseList <|> parseDottedList 
       char ')' 
       return x 

readExpr :: String -> String 
readExpr input = case parse parseExpr "lisp" input of 
    Left err -> "No match: " ++ show err 
    Right _ -> "Found value" 

REPL：

import System.IO 

flushStr :: String -> IO() 
flushStr str = putStr str >> hFlush stdout 

readPrompt :: String -> IO String 
readPrompt prompt = flushStr prompt >> getLine 

evalString :: String -> IO String 
evalString expr = return $ extractValue $ trapError (liftM show $ readExpr expr >>= eval) 

evalAndPrint :: String -> IO() 
evalAndPrint expr = evalString expr >>= putStrLn 

until_ :: Monad m => (a -> Bool) -> m a -> (a -> m()) -> m() 
until_ pred prompt action = do 
    result <- prompt 
    if pred result 
    then return() 
    else action result >> until_ pred prompt action 

runRepl :: IO() 
runRepl = until_ (== "quit") (readPrompt "Lisp>>> ") evalAndPrint 

main :: IO() 
main = do args <- getArgs 
      case length args of 
       0 -> runRepl 
       1 -> evalAndPrint $ args !! 0 
       otherwise -> putStrLn "Program takes only 0 or 1 argument" 

希望得到任何帮助！

Answer 1

parse (many parseExpr)而不是parse parseExpr？

然后您将不得不修改解释器，以便它可以解释表达式列表。