X-Git-Url: https://git.rmz.io/my-scheme.git/blobdiff_plain/f124ec5ddc0b30d092be82eb7b9fd3a9d1f47990..5988ad89d4dd34b63abf5512ce3308ed86ff279d:/app/Main.hs?ds=sidebyside diff --git a/app/Main.hs b/app/Main.hs index 2740935..01fd038 100644 --- a/app/Main.hs +++ b/app/Main.hs @@ -1,8 +1,55 @@ module Main where -import Text.ParserCombinators.Parsec +import Control.Monad +import Text.ParserCombinators.Parsec hiding (spaces) import System.Environment +data LispVal = Atom String + | List [LispVal] + | DottedList [LispVal] LispVal + | Number Integer + | String String + | Bool Bool + deriving Show + +symbol :: Parser Char +symbol = oneOf "!#$%&|*+-/:<=>?@^_~" + +spaces :: Parser () +spaces = skipMany space + +parseString :: Parser LispVal +parseString = do + char '"' + x <- many (noneOf "\"") + char '"' + return $ String x + +parseAtom :: Parser LispVal +parseAtom = do + a <- letter <|> symbol + b <- many (letter <|> digit <|> symbol) + let atom = a:b + return $ case atom of + "#t" -> Bool True + "#f" -> Bool False + _ -> Atom atom + +parseNumber :: Parser LispVal +parseNumber = do ds <- many1 digit + let a = read ds + return $ Number a + +parseExpr :: Parser LispVal +parseExpr = parseString + <|> parseAtom + <|> parseNumber + +readExpr :: String -> String +readExpr input = case parse parseExpr "lisp" input of + Left err -> "No match: " ++ show err + Right val -> "Found value: " ++ show val + main :: IO () main = do args <- getLine - putStrLn (args) + putStrLn (readExpr args)