如何将部分函数应用于元组列表

Question

这个问题的标题听起来可能有误导性，但是我不确定其他如何解释我要做什么。

我正在尝试不确定的数据结构。 我正在尝试产生一组部分应用运算符和一个元组列表的所有可能组合：

-- test.hs
makeTupleList :: (Int, Int) -> [(Int, Int)] 
makeTupleList (a, b) = ZipList [(+2), (-2)] <*> ZipList [a, b]

我希望makeTupleList返回类似以下内容的内容：

[(a + 2, b + 2), (a + 2, b - 2), (a - 2, b + 2), (a - 2, b - 2)]

但我显然做错了，因为我不断收到此错误：

Couldn't match type `ZipList' with `[]'

如何获得理想的结果？

Answer 1

您声明的类型与函数实际具有的类型之间不匹配。

让我们检查一下函数的主体

*> :t \(a, b) -> ZipList [(+2), (-2)] <*> ZipList [a, b]
\(a, b) -> ZipList [(+2), (-2)] <*> ZipList [a, b]
  :: (Num (b -> b), Num b) => (b, b) -> ZipList b

！ 那根本不好。

因此，让我们修复错误。 第一个错误是-2您绊倒，因为它解析为负两个，而不是运算符部分。

您可以通过只检查该片段来查看：

*> :t (-2)
(-2) :: Num a => a

好的，因此我们将其更改为一个显式的lambda，然后更进一步：

*> :t \(a, b) -> ZipList [(+2), (\x -> x - 2)] <*> ZipList [a, b]
\(a, b) -> ZipList [(+2), (\x -> x - 2)] <*> ZipList [a, b]
  :: Num b => (b, b) -> ZipList b

现在我们看到了概念上的错误（如果进行测试，您甚至可以看到更多）。 我们刚回来[a+2,b-2] 。 这就是ziplist 所做的 -将列表“压缩”在一起。 它不需要叉积。

所以现在我们看到我们走在完全错误的轨道上。

当我们想采用“生产性”组合时，我发现最自然的方法是使用列表理解。 因此，让我们改为这样做。

makeTupleList (a,b) = let funs = [(+2),(\x->x-2)]
                      in [(f a, g b) | f <- funs, g <- funs]

这似乎做到了。

*> makeTupleList (10,20)
[(12,22),(12,18),(8,22),(8,18)]

Answer 2

我会删除ZipList：

makeTupleList :: (Int, Int) -> [(Int, Int )]
makeTupleList (a,b) = (,) <$> aList <*> bList
 where
  functionList :: [Int -> Int]
  functionList = [flip (-) 2  ,(+ 2) ]
  aList :: [Int]
  aList = functionList <*> [a]
  bList = functionList <*> [b]

屈服：

 λ> makeTupleList (1,1)
 [(-1,-1),(-1,3),(3,-1),(3,3)]

ZipList用于不根据应用动作生成排列。