这个 Python 代码的 Haskell 等价物

Question

我在 Python 之后学习 Haskell，我认为创建一个函数来查找一个序列中不在另一个序列中的所有项目（其中两个序列都有可以比较的元素）将是一个有趣的练习。我很容易在 Python 中为此编写了一些代码：

def inverse(seq, domain):
    ss = iter(seq)
    dd = iter(domain)
    while True:
        s = next(ss)
        while True:
            d = next(dd)
            if d != s:
                yield d
            if d >= s:
                break

（seq 和 domain 均已排序）

但是，我很难将这段代码转换为 Haskell。我想我只会使用列表（可能是无限的）而不是ss 和dd，我想我会使用s = next(ss) 与s = head ss 和ss = tail ss 相同，但我可以'不知道如何将其翻译成 Haskell。我也无法弄清楚如何处理两个 while 循环。我想我可以使用无限递归，但由于有两个循环，我不知道是否需要两个函数或什么。

Answer 1

我不能完全让您的代码像宣传的那样工作，但我认为这个 sn-p 应该与您的工作方式大致相同，但有两个假设：X 和 Y 已排序，并且所有元素都是唯一的。

我们想从xx 中删除yy 中的所有元素。在每一步，我们只需要比较它们的第一个元素（x 和y，在函数定义中）。然后可能会发生三件事：

• x小于y，表示x不在yy中，所以我们可以接受x
• x 等于 y，我们拒绝 x
• x大于y，这意味着我们需要在yy中前进，然后才能确定是拒绝还是接受x

这是函数定义：

minus :: Ord a => [a] -> [a] -> [a]  
minus xx@(x:xs) yy@(y:ys) = case (compare x y) of  
  LT -> x : minus xs yy  
  EQ ->     minus xs ys  
  GT ->     minus xx ys  
minus xs _  = xs