以下是我的问题:我正在尝试编写一个解析器,利用F#中的主动模式。解析函数的基本签名如下:
LazyList<Token> -> 'a * LazyList<Token>
意味着它需要一个惰性令牌列表,并返回解析的结果和解析后的新令牌列表,以遵循函数式设计。现在,作为下一步,我可以定义活动模式,以帮助我直接匹配某些结构在匹配表达式中。
let inline (|QualName|_|) token_stream =
match parse_qualified_name token_stream with
| Some id_list, new_stream -> Some (id_list, new_stream)
| None, new_stream -> None
let inline (|Tok|_|) token_stream =
match token_stream with
| Cons (token, tail) -> Some(token.variant, tail)
| _ -> None
然后以高层次的方式匹配解析结果。
let parse_subprogram_profile = function
| Tok (Kw (KwProcedure | KwFunction),
QualName(qual_name,
Tok (Punc (OpeningPar), stream_tail))) as token_stream ->
// some code
| token_stream -> None, token_stream
我对这段代码的问题在于每个新匹配的构造都是嵌套的,这样不太易读,特别是当你有很多结果需要匹配时。我希望能够定义一个匹配运算符,比如列表的::运算符,这将使我能够做到以下操作:
let parse_subprogram_profile = function
| Tok (Kw (KwProcedure | KwFunction)) ::
QualName(qual_name) ::
Tok (Punc (OpeningPar)) :: stream_tail as token_stream ->
// some code
| token_stream -> None, token_stream
但我认为在F#中这是不可能的。我甚至可以接受一个设计,其中我必须调用特定的“ChainN”活动模式,其中N是我想解析的元素数量,但如果可能的话,我不知道如何设计这样的函数。
关于此事,有什么建议或方向吗?是否存在一种明显的设计我没有看到的?