Question

我想为hashtags写一个解析器。我一直在看博客关于在opa博客上解析的条目，但它们没有涵盖递归解析器和列表的构造很多。

某些社交网络（Twitter，Diaspora *）使用了Hashtags 标记帖子。它们由井号（#）和字母数字组成字符串，如“有趣”或“有趣”。帖子使用的一个例子主题标签：

Oh #Opa, you're so #lovely! (Are you a relative of #Haskell?)

解析会导致["Opa", "lovely", "Haskell"]。

我有tried to do it，但它并不是我想要的。（它可能要么只解析一个标签而没有别的，就会无休止地失败循环或失败，因为有输入它不明白...）另外，这是一个实现它的Haskell version。

Answer 1

首先要说一句：通过用Haskell术语提出问题，你有效地找到了解Opa 和 Haskell的人，从而减少了找人回答问题的机会;）。好吧，我半开玩笑地说，因为你的评论很有帮助，但我仍然宁愿用简单的英语看问题。

我认为保持Haskell结构的解决方案是这样的：

parse_tags =
  hashtag = parser "#" tag=Rule.alphanum_string -> tag
  notag = parser (!"#" .)* -> void
  Rule.parse_list_sep(true, hashtag, notag)

主要的'技巧'可能是使用Rule.parse_list_sep函数来解析列表。我建议您查看implementation of some functions模块中的Rule以获取灵感，并了解有关在Opa中解析的更多信息。

当然我建议测试这个函数，例如使用以下代码：

_ =
  test(s) =
    res =
      match Parser.try_parse(parse_tags, s) with
      | {none} -> "FAILURE"
      | {some=tags} -> "{tags}"
    println("Parsing '{s}' -> {res}")
  do test("#123 #test #this-is-not-a-single-tag, #lastone")
  do test("#how#about#this?")
  void

将提供以下输出：

Parsing '#123 #test #this-is-not-a-single-tag, #lastone' -> [123, test, this, lastone]
Parsing '#how#about#this?' -> FAILURE

我怀疑你需要微调这个解决方案才能真正符合你想要的但是它应该给你一个良好的开端（我希望）。

Answer 2

以下工作，只使用普通解析器

hashtag  = parser "#" tag=Rule.alphanum_string -> tag
list_tag = parser
         | l=((!"#" .)* hashtag -> hashtag)* .* -> l

parsetag(s) = Parser.parse(list_tag, s)

do println("{parsetag("")}")
do println("{parsetag("aaabbb")}")
do println("{parsetag(" #tag1 #tag2")}")
do println("{parsetag("#tag1 #tag2 ")}")
do println("{parsetag("#tag1#tag2 ")}")

Opa中的递归列表构造解析器

2 个答案: