- xml - AJAX/Jquery XML 解析
- 具有多重继承的 XML 模式
- .net - 枚举序列化 Json 与 XML
- XML 简单类型、简单内容、复杂类型、复杂内容
我认为这不能称为“定点递归”,因为它太简单了。然而,我最近意识到它实际上可能是。
我是否有效地实现了定点递归?
这里是有问题的函数:
/* recursive kleisli fold */
var until = function(f) {
return function(a) {
return kleisli(f, until(f))(a);
};
};
这里有一些额外的上下文:
// The error monad's bind
var bind_ = function(f, m) { return m.m === Success ? f(m.a) : m; };
var bind = function(f, m) {
return m !== undefined && m.m !== undefined && m.a !== undefined ? bind_(f, m) : m;
};
var kleisli = function(f1, f2) {
return function(a) {
return bind(f2, f1(a));
};
};
剩下的代码是here ,但上面的代码片段应该足以跟进。
最佳答案
定点组合器的定义是一个函数F
,它接受一个函数f
并返回一个函数p
,这样
给定 F(f) = p
然后 p = f(p)
可以编写许多可能的定点组合器。不要因为直截了当而认为某物不是定点组合器;这是 JavaScript 中的标准定义,非常简单:
var fix = function(f) {
return function(x) {
return f(fix(f))(x)
}
};
一个用法可能是计算阶乘的定点,使用:
var fact = function(f) {
return function(n) { return (n == 0) ? 1 : (n * f(n - 1)) }
};
alert(fix(fact)(7)); // alerts us with 5040.
有关不同定点组合器(Y 组合器)的示例,请参阅 this helpful blog post .
让我们看看您的 until
组合器是否计算定点。由于您正在使用 monadic 函数,因此定点定义略有变化以处理 monadic 结构,其中 F
是一个(monadic)定点组合器,当
给定 F(f) = p
然后 p = f* 。 p
其中 f* 。 p
表示函数 p
与函数 f
的 Kleisli 组合(在您的代码中,您将编写此 kleisli(p, f)
,您可以将 *
视为 bind
)。我将使用这种表示法,因为它比编写 JavaScript 更短。
然后让我们展开 until
的定义,看看我们得到了什么:
until(f) = (until(f))* . f
= (until(f)* . f)* . f
= ((... . f)* . f)* . f
= ... . f* . f* . f (associativity of bind for a monad: (g* . f)* = g* . f*)
= p
是否 p = f* 。 p
?
... . f* . f* . f =?= f* . ... . f* . f* . f
是的-我相信是这样。虽然我不认为这是一个有用的固定点。 (恐怕我对此还没有很好的论据 - 但我认为这基本上是一个最大的固定点,它只会发散)。
在我看来,until
中 kleisli
的参数似乎应该被交换。也就是说,我们希望在 fix
示例中执行 Kleisli 等效应用程序,因此我们需要将递归调用 until(f)
的单子(monad)结果传递给 f
:
var until = function(f) {
return function(a) {
return kleisli(until(f), f)(a);
};
};
让我们展开 until
的新定义:
until(f) = f* . until(f)
= f* . (f* . until(f))
= f* . f* . ...
= p
是否 p = f* 。 p
?是的:
f* . f* ... = f* . (f* . f* . ...)
因为将 f* 的另一个组合添加到 f* 组合的无限链上是相同的函数。
使用您的 kleisli
函数我遇到了一些发散问题(一些评估发生得太快,所以计算一直运行到我用完堆栈空间为止)。相反,以下内容似乎对我有用:
var until = function(f) {
return function(a) {
return bind(f,until(f)(a));
};
};
有关单子(monad)代码定点的更多信息,您可能想查看 the work of Erkök and Launchbury .
关于javascript - 这是定点组合器的实现吗?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/17821019/
我有一个 html 格式的表单: 我需要得到 JavaScript在value input 字段执行,但只能通过表单的 submit .原因是页面是一个模板所以我不控制它(不能有
我管理的论坛是托管软件,因此我无法访问源代码,我只能向页面添加 JavaScript 来实现我需要完成的任务。 我正在尝试用超链接替换所有页面上某些文本关键字的第一个实例。我还根据国家/地区代码对这些
我正在使用 JS 打开新页面并将 HTML 代码写入其中,但是当我尝试使用 document.write() 在新页面中编写 JS 时功能不起作用。显然,一旦看到 ,主 JS 就会关闭。用于即将打开的
提问不是为了解决问题,提问是为了更好地理解系统 专家!我知道每当你将 javascript 代码输入 javascript 引擎时,它会立即由 javascript 引擎执行。由于没有看过Engi
我在一个文件夹中有两个 javascript 文件。我想将一个变量的 javascript 文件传递到另一个。我应该使用什么程序? 最佳答案 window.postMessage用于跨文档消息。使
我有一个练习,我需要输入两个输入并检查它们是否都等于一个。 如果是 console.log 正则 console.log false 我试过这样的事情: function isPositive(fir
我正在做一个Web应用程序,计划允许其他网站(客户端)在其页面上嵌入以下javascript: 我的网络应用程序位于 http://example.org 。 我不能假设客户端网站的页面有 JQue
目前我正在使用三个外部 JS 文件。 我喜欢将所有三个 JS 文件合而为一。 尽一切可能。我创建 aio.js 并在 aio.js 中 src="https://code.jquery.com/
我有例如像这样的数组: var myArray = []; var item1 = { start: '08:00', end: '09:30' } var item2 = {
所以我正在制作一个 Chrome 扩展,它使用我制作的一些 TamperMonkey 脚本。我想要一个“主”javascript 文件,您可以在其中包含并执行其他脚本。我很擅长使用以下行将其他 jav
我有 A、B html 和 A、B javascript 文件。 并且,如何将 A JavaScript 中使用的全局变量直接移动到 B JavaScript 中? 示例 JavaScript) va
我需要将以下整个代码放入名为 activate.js 的 JavaScript 中。你能告诉我怎么做吗? var int = new int({ seconds: 30, mark
我已经为我的 .net Web 应用程序创建了母版页 EXAMPLE1.Master。他们的 I 将值存储在 JavaScript 变量中。我想在另一个 JS 文件中检索该变量。 示例1.大师:-
是否有任何库可以用来转换这样的代码: function () { var a = 1; } 像这样的代码: function () { var a = 1; } 在我的浏览器中。因为我在 Gi
我收到语法缺失 ) 错误 $(document).ready(function changeText() { var p = document.getElementById('bidp
我正在制作进度条。它有一个标签。我想调整某个脚本完成的标签。在找到可能的解决方案的一些答案后,我想出了以下脚本。第一个启动并按预期工作。然而,第二个却没有。它出什么问题了?代码如下: HTML:
这里有一个很简单的问题,我简单的头脑无法回答:为什么我在外部库中加载时,下面的匿名和onload函数没有运行?我错过了一些非常非常基本的东西。 Library.js 只有一行:console.log(
我知道 javascript 是一种客户端语言,但如果实际代码中嵌入的 javascript 代码以某种方式与在控制台上运行的代码不同,我会尝试找到答案。让我用一个例子来解释它: 我想创建一个像 Mi
我如何将这个内联 javascript 更改为 Unobtrusive JavaScript? 谢谢! 感谢您的回答,但它不起作用。我的代码是: PHP js文件 document.getElem
我正在寻找将简单的 JavaScript 对象“转储”到动态生成的 JavaScript 源代码中的最优雅的方法。 目的:假设我们有 node.js 服务器生成 HTML。我们在服务器端有一个对象x。
我是一名优秀的程序员,十分优秀!