Write Yourself a Scheme in 48 Hours/Parsing（二）

囧然发现，代码的排版总是会丢失缩近。这个当然不能怪发芽网的服务不好，因为直接可以看到的是blogger的有些模板就有问题。这东西的可视化编辑器又慢，功能又不全。

我现在用gmail的内置编辑器，不过这东西也不能算好用，它没办法编辑HTML源码。网上有人贴过muse向blogger发布的代码。等这个坑填完我肯定是要再去弄muse的，到时候不妨拿来看看（话说，muse真是个好东西吖）。



上次讲到了如何利用 oneOf 函数提取代码中的符号。因为我们没有处理空格，如果符号前有多的空格，就会出错了。

作者的解释是，Parsec的spaces不符合他的要求，虽然另有一个lexeme可用，但是这里我们可以自己定做一个。

Haskell语言:

1 spaces :: Parser ()
2 spaces = skipMany1 space

这东西其实比我猜想的简单多了，还是直接拿了一个东西来用，跟oneOf换汤不换药嘛。

现在我们修改一下readExpr，把这个新组件串进去。

readExpr input = case parse (spaces >> symbol) "lisp" input of
     Left err -> "No match: " ++ show err
     Right val -> "Found value"

这 里我没用发芽网的服务，主要是给大家看到红字标明的修改标记。如果没有心理准备，大概会被这个简单的用法小小震惊一下。>>符号是Monad 的四个标准运算符之一，"bind"操作符。通过它，我们把skipMany1 space传入symbol中，组成一个新的parser Monad。这里作者特别有介绍，不同的Monad，它的bind行为可能完全不同。具体的情况一定要阅读文档来确定。在Parser Monad中，它就是尝试匹配第一个组件，不行再匹配第二个，直至匹配成功或最终返回错误。


Monad一个非常强大的地方就在于这种组合能力，这与OO中的继承或接口复用还是有很大不同的。等这个教程跟完，如果我觉得我对Monad有些了解了，可能会写一些关于Monad的文章。其实关于Monad，国内已经有一篇非常强大的，来自Javaeye社区的Trustno1。简单介绍一下背景，这大佬多年以前在程序员上以"恶魔吹着笛子来"为署名写了一系列Python教程，这几篇文章将我和很多程序员引入了Python领域。至于……不需要我多介绍了吧：）。

这一小节的完整代码：

Haskell语言:

01 module Main where
02
03 import System.Environment
04 import Text.ParserCombinators.Parsec hiding (spaces)
05
06 symbol :: Parser Char
07 symbol = oneOf "!#$%&|*+-/:<=>?@^_~"
08
09 spaces :: Parser()
10 spaces = skipMany1 space
11
12 readExpr :: String -> String
13 readExpr input = case parse (spaces >> symbol) "lisp" input of
14                    Left err -> "No match: " ++ show err
15                    Right val -> "Found value"
16
17 main :: IO ()
18 main = do args <- getArgs
19           putStrLn (readExpr (args !! 0))