2

我有一个深度嵌套的记录，我正在尝试从数据库中重建它。例如，A包含许多B记录。B记录有很多C记录。C有很多Ds。我有查询每种类型对象的子对象（f0、f1和f2以下）的函数。

f0 :: A -> [B]
f1 :: B -> [C]
f2 :: C -> [D]

我正在寻找一种优雅的方式来实现f3.

f3 :: A -> (A, [(B, [(C, [D])])])

我在Arrows上读过一些东西，感觉它们可能很合适。但是，当我尝试将它们结合起来时，我总是遇到障碍。

我从这样的事情开始：

f4 :: A -> (A, [B])
f4 = id &&& f0

这让我达到了第一级。但是，我无法找到一种方法将其链接到另一个箭头，该箭头将映射[B]、返回[(B, [C])]并将其用作原始元组的第二个元素。

我对 Haskell 有点陌生，所以如果我需要包含任何其他信息，请告诉我。

谢谢！

更新

稍微修改一下sclv的答案，我现在有了

data A = A
data B = B
data C = C
data D = D

f0 :: A -> [B]
f0 = undefined

f1 :: B -> [C]
f1  = undefined

f2 :: C -> [D]
f2 = undefined

pairFun f = id &&& f

foo :: A -> (A, [(B, [C])])
foo = fmap (map (pairFun f1)) . pairFun f0

我仍然不知道如何组合最后一个函数（f2）。

最终更新

感谢 sclv，事实证明可以这样完成：

foo = (fmap . map) ((fmap . map) (pairFun f2) . pairFun f1) . pairFun f0
4

1 回答 1

3

像这样的东西应该可以工作（未经测试）：

pairFun f = id &&& f

foo = (fmap . map) ((fmap . map) (pairFun f2) . pairFun f1) . pairFun f0

编辑：顺便说一下，考虑这个问题的一种方法是使用conal的语义编辑器组合器模型——http: //conal.net/blog/posts/semantic-editor-combinators

于 2013-02-05T19:20:02.467 回答