问题标签 [unfold]

For questions regarding programming in ECMAScript (JavaScript/JS) and its various dialects/implementations (excluding ActionScript). Note JavaScript is NOT the same as Java! Please include all relevant tags on your question; e.g., [node.js], [jquery], [json], [reactjs], [angular], [ember.js], [vue.js], [typescript], [svelte], etc.

0 投票
1 回答
713 浏览

php - 如何展开 RFC 822

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

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

0 投票
8 回答
20627 浏览

vim - 打开文件时如何将默认设置为展开?

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

0 投票
2 回答
2869 浏览

haskell - HW:以特定方式展开列表

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

定义一个函数

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

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

我的尝试:

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

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

0 投票
1 回答
3652 浏览

jquery - Google Image Search : Unfolding image details effect with jquery?

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.

0 投票
1 回答
121 浏览

c# - C#: Image unfolding to a rectangle

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.

0 投票
1 回答
394 浏览

haskell - cofree comonad 的可折叠实例

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

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

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

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

有可能吗?

0 投票
1 回答
255 浏览

haskell - 重复动作的类型类,直到固定点

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

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

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

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

0 投票
3 回答
718 浏览

haskell - 展开返回累加器的最后状态

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

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

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

将返回:

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

0 投票
1 回答
235 浏览

perl - 从散列键列表中反序列化嵌套散列

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

对此:

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

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

不幸的是,这不起作用:

当我这样做时,我得到:

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

0 投票
2 回答
2530 浏览

recursion - 如何在 Coq 中只展开一次递归函数

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

现在,假设我有以下目标

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

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

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