Question

考虑以下情况。我定义了一个函数来处理元素列表，通过在头上执行操作的典型方法并在列表的其余部分上调用函数。但在元素的某些条件下（为负面，是一个特殊字符，......）我会在继续之前更改列表其余部分的符号。像这样：

f [] = []
f (x : xs) 
    | x >= 0      = g x : f xs
    | otherwise   = h x : f (opposite xs)

opposite [] = []
opposite (y : ys) = negate y : opposite ys

作为opposite (opposite xs) = xs，我变成了多余的相反操作的情况，累积opposite . opposite . opposite ...。

它发生在其他操作而非opposite，任何此类组合与其自身都是身份，如reverse。

使用仿函数/ monads / applicatives /箭头可以克服这种情况吗？（我不太了解这些概念）。我想要的是能够定义属性或组合模式，如下所示：

opposite . opposite  = id    -- or, opposite (opposite y) = y

为了使编译器或解释器避免计算相反的相反（在一些连接语言中它是可能的和简单的（本机的））。

Answer 1

当然，只需保持一点状态，告诉我是否将negate应用于当前元素。因此：

f = mapM $ \x_ -> do
    x <- gets (\b -> if b then x_ else negate x_)
    if x >= 0
        then return (g x)
        else modify not >> return (h x)

Answer 2

你可以在没有任何monad的情况下解决这个问题，因为逻辑非常简单：

f g h = go False where 
  go _ [] = [] 
  go b (x':xs)
    | x >= 0    = g x : go b xs 
    | otherwise = h x : go (not b) xs
      where x = (if b then negate else id) x'

go函数的主体几乎与原始f函数的主体相同。唯一的区别是go根据先前调用传递给它的布尔值来决定元素是否应该被否定。

是否可以在函数或函子中定义组合模式？

2 个答案: