1

我正在尝试获取表达式并将其转换为标准形式。为了更好地阐明我的目的，假设您为表达式定义了一个通用样式，如下所示：

∑(a*b) // 乘积之和

现在，如果您得到的输入不是那种格式，例如：(a+b)*(c+d)，您需要先对其进行规范化。（实际上这只是一个简单的例子，不是我的例子）现在我有一个已经用 ML 编写的代码，它太长了。在这里你可以看到一些片段：

rew(p_choice(x,p_nil)) = rew(x) |
rew(p_choice(p_nil,x)) = rew(x) |
rew(p_sum(d,p_nil)) = p_nil |
rew(p_sum(d,p_choice(x,y))) = rew(p_choice(rew(p_sum(d,x)),rew(p_sum(d,y)))) 
rew(p_cond(b,p_nil,p_nil)) = p_nil |
rew(p_cond(b,p_choice(x,y),p_nil)) =rew(p_choice(rew(p_cond(b,x,p_nil)),rew(p_cond(b,y,p_nil)))) |
rew(p_cond(b,p_sum(x,y),p_nil)) = rew(p_sum(x,rew(p_cond(b,y,p_nil)))) |
rew(p_cond(b1,p_cond(b2,x,p_nil),p_nil)) = rew(p_cond(b1 andalso b2, x,p_nil)) |
rew(p_cond(b,x,p_nil)) = p_cond(b,x,p_nil) |
rew(p_cond(b,x,y)) =
    rew(p_choice(rew(p_cond(b,x,p_nil)),rew(p_cond(not(b),y,p_nil))))

我的问题是，Haskell 是否引入了任何可以帮助更整洁地完成代码的功能？

4

1 回答 1

3

Haskell 中的模式匹配工具非常相似，我认为 Haskell 最大的排他性（类型类、惰性等）不会对您有所帮助。也就是说，可能有一些方法可以让 ML 中的事情变得更简单。

要考虑的一件事是将处理分成更小的步骤。现在有一些重复，这取决于事情是左论点还是右论点。您可以尝试转换为为事物选择一种特定顺序的中间标准形式。

另一个技巧是将每个步骤的处理与递归分开，这样您就不会将树遍历与节点处理混为一谈。您可以编写函数来处理每个节点的 stp，然后使用单独的折叠函数将所有内容绑定在一起。

data Tree = Leaf Int | Node Tree Tree

directsum :: Tree -> Int
directSum (Leaf n) = n
directsum (Node a b) = (directsum a) + (directsum b)

-- vs

foldtree :: (Int -> r) -> (r -> r -> r) -> Tree  -> b
foldtree onLeaf onNode t =
    go t
  where
    go (Leaf n)   = onLeaf n
    go (Tree a b) = onNode (go a) (go b)

foldedSum :: Tree -> Int
foldedsum t =
    foldtree leafsum nodesum t
  where
    leafsum n = n
    nodesum a b = a + b
于 2013-07-28T07:30:21.833 回答