问题标签 [arrows]

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

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

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

我从这样的事情开始：

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

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

谢谢！

更新

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

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

最终更新

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

以下程序类型检查和编译：

但是，当我尝试为 添加案例时eval (Branch m)，请键入检查炸弹。某种类型的东西

是预期的，但当然我的方式是

有人对如何写作有建议eval (Branch m)吗？

编辑我

作为对@sabauma 评论的回应，我认为 for 的类型签名eval将不得不改变，但我不确定它应该是什么。

编辑二

这是应该发生的事情的示例：

应该给，

这就是@sabauma 的提议所做的。

好的，所以我想用箭头来找点乐子。我试图直接将性感的 Haskell 快速排序转换为使用箭头的实现。但它不能正常工作。

有人能发现问题吗？

我使用 YUI 滚动视图来制作带有触摸、轻弹和箭头的菜单结构。然而，由于某种原因，箭头有一个错误。

但是，当第一次加载页面时它工作正常，一旦用户用鼠标滚动页面（在平板电脑或手机上），箭头就不再工作了。当我滑动内容时，箭头会神奇地重新开始工作。

这是我用于滚动视图的脚本：

你可以在这里找到一个演示： http ://www.circlesoftware.nl/demo/test.html

重现： - 加载页面 - 按下右键（不要做任何其他事情） - 用鼠标向下滚动 - 现在箭头已损坏 要修复： - 只需抓住滑块的内容，滑动它 - 尝试向左或向右按钮，他们再次工作

有谁知道这里可能有什么问题？

我想我需要一些激励来了解如何制作这个，我在一般平台游戏机制方面并没有真正的经验......

无论如何，我的玩家身材到现在为止是这样的：

随着gravity，玩家对象慢慢下落，直到有东西可以站立。当然，下一步是在sin曲线中添加跳跃……添加它的简单方法是什么netwire？还可以添加进一步的碰撞检测吗？

我只是不知道从哪里开始。

前几天我被告知我不应该在 C 中以某种方式使用指针箭头。我所做的是：

我平时看到的

我只是想问一下，这只是常规的编码标准吗？
我只是觉得->比p->stuff。

我正在使用 Fancybox 与 Pikachoose 的集成，如下所述： http ://www.pikachoose.com/how-to-fancybox/

我试图让灯箱显示下一个和上一个箭头，但不在 pikachoose 舞台上，我遇到了一些麻烦。我试图showNavArrows: true在脚本的 fancybox 部分添加选项，但它不起作用。所以然后我尝试了 pikachoose 上的导航选项来显示使用this: {text: {previous: "Previous", next: "Next" }} ，但我不断收到错误，可能我的语法没有放在正确的位置？有人可以帮忙吗？

这是我正在使用的代码：

Arrows 似乎在 Haskell 社区中越来越受欢迎，但在我看来，Monads 似乎更强大。使用箭可以获得什么？为什么不能使用 Monads 代替？

我想做这个箭头框所做的事情，但我希望它指向下方，而不是指向右侧的箭头。

我试过这样的事情：jsfiddle link here

就排列两个 div 而言，它往往是不可靠的。我想要一个 div 解决方案。

有时您想使用不同的折叠函数将一组元组折叠成一个元组。例如，为了将 runState 结果列表粘合在一起，获得（在某种意义上）组合状态和组合结果。

考虑以下实现：

虽然它有效，但我对这个 lambda 感到不舒服。lfn *** rfn本身有一种类型(a,b) -> (a -> a', b -> b')，我无法找到一种方法来正确应用到元组而不求助于模式匹配。我想念一种清晰而优雅的方式吗？它可能是类型的库函数(a,a') -> (a -> a, a' -> a') -> (a, a')或完全不同的方法。