Question

我在树上写了一些解析代码。（即斯坦福nlp依赖树）

基本上我有这样的功能：

m :: DepTree -> Logic
m (w, [E "nsubj" nsubj, E "dobj" dobj]) = ...
m (w, [E "nsubj" nsubj, E "prep" prep]) = ...
m (w, [E "nsubj" nsubj]) = ...
m (_, []) = error "No rules apply"

如果节点有nsubj和dobj边缘，我想要的是调度到第一条规则。我不关心它可能还有什么。

显然，我的示例函数不会这样做，因为它要求边以正确的顺序出现，如果存在更多的边，它将不匹配。

一种方法可能是使用警卫来提高表现力，我可以这样做：

m (w, es) | (isJust.lookup "nsubj") es && (isJust.lookup "dobj") es = ...
          | ...
          | otherwise = error ...

但是这更具有吸引力，我甚至无法处理目标节点。

是否有一种标准方法可以在像我这样的图形上编写模式匹配解析器？或者也许是基于Maybe monad的魔法......？

Answer 1

您可以使用pattern guards：

{-# LANGUAGE PatternGuards #-}

m (w, es) | Just nsubj <- lookup "nsubj" es, Just dobj <- lookup "dobj" es = ...
          | ...
          | otherwise = error ...

Haskell中的模糊模式匹配调度

1 个答案: