问题标签 [unfold]

我正在尝试编写一个 vCard 解析器，但无法展开线条。正如您在这里看到的：http: //www.faqs.org/rfcs/rfc822.html寻找“展开”它说以下所有内容都是有效的：

我该如何展开这个？有这个正则表达式吗？如果已经编写了一个类，我将使用 PHP :)

在我的文件中，.vimrc我已经set foldmethod=syntax启用了方法等的折叠。但是，我不喜欢每次打开文件时都会折叠整个文件的默认设置。有没有办法启用foldmethod，但是当我打开文件时它们展开了？

在 Haskell 编程中，Graham Hutton 为列表定义展开如下：

定义一个函数

这与上面的类似，但在其实现中使用了展开器并且是非递归的。

我已经尝试了一段时间来解决上面的问题，但我仍然可以做到（在 Haskell 和一般的函数式编程中相当新）。

我的尝试：

在英语中，如果f x为真，则返回空列表。否则，h x用作头部并将展开器的结果附加为尾部。Unfoldr 将一个列表作为头部和尾部(x:xs)进行递归。xxs

p/s：我可能这样做非常非常错误。

I just noticed the nice "new" unfolding effect on Google Image Search when you click on an image. Id like to implement that into my project. Im sure there are already jquery plugins which will do just that. Yet I dunno how this effect may be called in order to do a proper search.

I need an advice in image processing. I have WF application coded in C# which finds me a coordinates by given parameters and based on this coordinates I would like to crop the image to a circle and unfold this circle to a rectangle.

So just to summarize my questions - How should I correctly crop the image in pictureBox to a circle (ellipse) image and how to unfold this circle to a rectangle?

I hope I described my problem well and I will be very grateful for every advice about how should I continue.

我试图找出unfold/coiterfromControl.Comonad.Cofree和unfold/anafrom之间的区别Data.Control.Fixedpoint。黑客库分别是。free和recursion-schemes。

Cofree似乎是堂兄弟，Fix我试图弄清楚两者都有什么可能，只有其中一个有什么可能。

Foldable我可以写一个for的实例，Cofree这样我就可以申请cata一个从以下位置获得的免费 monad unfold/coiter：

但我无法构造一个Unfoldable实例：

有可能吗？

我注意到执行一个动作直到它停止产生某些效果的一种常见模式，当人们知道这表示一个固定点时（即，不可能有未来的效果）。有一个类型类吗？

这被 MonadFix 覆盖了吗？看代码，似乎是这样，但我被wiki 页面吓跑了“很容易看到‘递归’并猜测它意味着递归或重复执行动作。不。”

在我看来，固定点也像是身份的双重性。也就是说，当与非身份结合时，身份会消失（0 表示 (+)，1 表示 (*)，[] 表示追加等）。而固定点会导致任何非固定点在下面的“放松”操作下消失。有没有办法将这种二元性形式化，这样做有用吗？即，MonadPlus 和/或 Monoid 和 MonadRelax 之间是否存在关系？

最后，我注意到放松几乎是一种展开/变形。这样表达会更好吗？

Haskell 中的unfold函数非常方便创建列表。它的定义是：

但我想获得使用的累加器的最后一个值。一个可能的实现是：

但我想知道是否没有办法使用现有功能来做到这一点。最后是这个：

将返回：

因为当累加器值达到时迭代停止0。

我有一个想要“unflatten”或“tree-ify”的字符串；也就是说，我想从这个开始：

对此：

我的策略是分别处理每个以管道分隔的字段，并按=符号拆分为键/值对：

我在processline函数中尝试了一些递归魔法：

不幸的是，这不起作用：

当我这样做时，我得到：

有人可以解释递归解决方案背后的思考过程，或者建议我的 Perl 哪里出了问题？令人沮丧的是，我能够很容易地想出这个函数的反函数（展平）。

这是一个递归函数all_zero，用于检查自然数列表的所有成员是否为零：

现在，假设我有以下目标

我想用这个unfold策略把它变成

不幸的是，我不能简单地做到这一点，unfold all_zero因为该策略会急切地找到并替换 的所有实例all_zero，包括曾经展开形式的实例，并且它会变成一团糟。有没有办法避免这种情况并只展开一次递归函数？

我知道我可以通过证明与 的临时等价来获得相同的结果assert (...) as X，但它效率低下。我想知道是否有一种类似于unfold.