Haskell中的正则表达式与词法分析器的比较

Question

我开始使用Haskell，我试图使用Alex工具来创建正则表达式，而且我有点迷路;我的第一个不便是编译部分。我怎样才能用Alex编译一个文件呢？然后，我认为我必须将我生成的模块导入到我的代码中，但不确定。如果有人能帮助我，我会非常感激！

Answer 1

为什么你想用alex创建正则表达式？ 如果你只想做一些正则表达式匹配等，你应该看看正则表达式包。

Answer 2

如果它是你想要的普通正规表达式，则在text.regex.base中指定该API。然后是实现text.regex.Posix,text.regex.pcre和其他几个。 Haddoc文档有点渺茫，但基本描述见Real World Haskell, chapter 8.更多深入的内容在这里描述SO question.

Answer 3

您可以在Alex中指定正则表达式函数。

这里有个例子，在亚历克斯正则表达式匹配浮点数：

$space  = [\ \t\xa0] 
$digit  = 0-9 
$octit  = 0-7 
$hexit  = [$digit A-F a-f] 

@sign  = [\-\+] 
@decimal  = $digit+ 
@octal  = $octit+ 
@hexadecimal = $hexit+ 
@exponent = [eE] [\-\+]? @decimal 

@number  = @decimal 
      | @decimal \. @decimal @exponent? 
      | @decimal @exponent 
      | 0[oO] @octal 
      | 0[xX] @hexadecimal 

lex :- 

    @sign? @number { strtod } 

当我们匹配浮点数，我们派遣解析功能，对拍摄的字符串操作，然后我们可以包装和暴露给用户解析功能：

readDouble :: ByteString -> Maybe (Double, ByteString) 
readDouble str = case alexScan (AlexInput '\n' str) 0 of 
    AlexEOF   -> Nothing 
    AlexError _  -> Nothing 
    AlexToken (AlexInput _ rest) n _ -> 
     case strtod (B.unsafeTake n str) of d -> d `seq` Just $! (d , rest) 

使用亚历克斯这个正则表达式匹配的一个很好的结果是性能还是不错的，因为正则表达式引擎是静态编译。它也可以作为用cabal构建的常规Haskell库公开。完整实施请参见bytestring-lexing。

关于什么时候使用词法分析器而不是正则表达式匹配器的一般建议是，如果你有一个你想匹配的词法的语法，就像我对浮点数所做的那样，使用Alex。如果你不这样做，而且结构更特别，则使用正则表达式引擎。