- xml - AJAX/Jquery XML 解析
- 具有多重继承的 XML 模式
- .net - 枚举序列化 Json 与 XML
- XML 简单类型、简单内容、复杂类型、复杂内容
自从我编写 OCaml 代码以来已经有一段时间了,我遇到了这个听起来很简单但我无法解决的问题:
编写一个函数,该函数接受一个函数 f
,该函数具有可变数量的参数并返回一个 bool 值(即 f
的类型为 'a -> ' b -> 'c -> ... -> bool
) 并返回一个函数 g
表示 f
的否定(即 (f x1 x2 .. xn) == not (g x1 x2 .. xn)
对于所有有效参数集。
它受到以下代码块的启发,该代码块解决了 Javascript 中的问题:
function negate(func) {
return function() {
return !func.apply(null, arguments);
};
}
(来自 http://eloquentjavascript.net/1st_edition/chapter6.html)
但是,我没有看到在 OCaml 中实现它的方法(“arguments”关键字或等效关键字不可用),因为函数 f
没有预设数量的参数.我找到了有关处理参数数量可变的函数(例如 https://blogs.janestreet.com/variable-argument-functions/ )的链接,但我想知道是否有更简单/更“自然”的方法来处理这个特定问题。
最佳答案
我是一名 JavaScript 程序员,我一直认为 variadic arguments are harmful .如果我们在 JavaScript 中没有可变参数函数(只要远离 arguments
对象),那么在 Hindley Milner 类型系统中可键入的每个 JavaScript 函数(减去 API 特定函数,如 DOM 函数)都可以可以很容易地转换为 OCaml 中的等效函数。
那么 apply
函数在 OCaml 中的等价物是什么?我相信这是正常的功能应用程序:
let apply f x = f x (* equivalent of apply in JavaScript *)
普通的函数应用如何等同于 JavaScript 中的 apply
函数?考虑:
let s f g x = f x (g x) (* the S combinator from the SKI combinator calculus *)
这个函数将用 JavaScript 编写如下:
var s = function (f) {
return function (g) {
return function (x) {
return f(x)(g(x));
};
};
};
请注意,每个函数定义和函数调用都是以柯里化(Currying)形式显式编写的。
这是 JavaScript 和 OCaml 的区别:
那么,让我们看一下 S 组合器的非柯里化(Currying)变体。首先,OCaml:
let s (f, g, x) = f (x, g (x)) (* sml convention is to use uncurried functions *)
JavaScript 中的等价物:
var s = function (f, g, x) {
return f(x, g(x));
};
请注意,正常的函数应用在 OCaml 和 JavaScript 中是相同的。对于柯里化(Currying)函数:
let result = s f g x (* equivalent to `((s f) g) x` *)
JavaScript 中的等价物:
var result = s(f)(g)(x);
对于非柯里化(Currying)函数:
let result = s (f, g, x)
JavaScript 中的等价物:
var result = s(f, g, x);
那么 apply
函数呢?这与正常的功能应用程序有何等同?
在 OCaml 中,您可以这样做:
let args = (f, g, x) (* args is a tuple *)
let result = s args (* normal function application *)
JavaScript 中的等价物是:
var args = [f, g, x]; // args is an array
var result = s.apply(null, args); // normal function application
如您所见,OCaml 中的元组等同于 JavaScript 中的数组。 JavaScript 中的数组用途广泛。它们可以用作列表或元组,具体取决于上下文。
apply
的args
参数可以是任何类似数组的对象,它被视为单个元组参数。 JavaScript 中的每个函数都可以被认为是一个单参数函数。 JavaScript 中的多参数函数可以被认为是单参数元组参数函数。 JavaScript的apply
函数只是普通函数应用的一种特殊形式。
那么这意味着什么呢?考虑:
var negate = function (f) {
return function () {
return !f.apply(null, arguments);
};
};
如果我们将 arguments
视为内部函数的隐式参数,则 OCaml 中上述函数的等价物为:
let negate f = fun arguments -> not (f arguments) (* arguments is explicit *)
这可以简化为:
let negate f x = not (f x)
现在,您可能会说这只适用于单参数函数。事实并非如此。 negate
的类型签名是:
val negate : ('a -> bool) -> 'a -> bool
因此,它适用于任何类型的 'a
,包括元组。这相当于 JavaScript 中的多参数函数只是单参数元组参数函数。
最后,唯一真正的问题是将柯里化(Currying)函数转换为非柯里化(Currying)函数,以便您可以否定
它们。不幸的是,在 OCaml 中没有取消函数化的通用方法。因此,您需要一系列函数来 uncurry
柯里化(Currying)多个参数的函数:
let uncurry2 f (x, y) = f x y
let uncurry3 f (x, y, z) = f x y z
.
.
.
.
在取反函数后,您可以curry
将它们返回。然而,就像使用 uncurry
一样,没有办法一般地 curry
一个函数。因此,您再次需要一系列 curry
函数:
let curry2 f x y = f (x, y)
let curry3 f x y z = f (x, y, z)
.
.
.
.
创建通用 curry
或 uncurry
函数的唯一方法是使用动态类型语言(如 Lisp 或 JavaScript)或依赖类型语言(如 Idris 或 Agda)。 OCaml 的类型系统(Hindley Milner 类型系统)限制太多,不允许这样的函数。
关于javascript - OCaml 相当于 javascript 'apply',我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/30990112/
在 Chapel 中以固定增量遍历一系列实数的最惯用方法是什么? C 等效代码为: for (x = 0.0; x start, "Stop must be greater than start");
在编写我的 VBA 宏时,我经常使用“GoTo”以便在不离开 Sub 的情况下跳转到宏的前一部分。现在我正在将我所有的宏转换为 Google Apps 脚本,我正试图找到“GoTo”的等效项。 Sub
作为一个(不幸)对 jQuery 的了解多于 raw javascript 的人,我现在正在学习是时候用原始 javascript 替换我的所有代码了。不,这不是必需的,但对我来说这是一种更简单的学习
当我运行 git help -a它向我显示了内部命令列表、我所有的别名和我所有的外部 git 命令(即我的路径中以 git- 开头的任何可执行文件)。我想要的是一个可以作为 git which 运行的
我正在使用的查询: SELECT COUNT(*), SUM(amount) AS amount, FROM_UNIXTIME(added, '%W (%e/%m)') AS dail
我有一堆我正在调试的脚本,都是嵌套的并且非常讨厌。 只是想知道我是否能够设置一些与 bash 的 -x 选项等效的环境变量。这将为我节省大量时间。 我已经寻找答案,但似乎它不存在 - 希望你们聪明的人
ObjC [MyObject doThisWithString:string?: [MyObject otherString]]; 我如何在 Swift 中执行此操作? extension MyObj
我目前正在运行 Sonar 来对我的代码进行静态分析。当我在分析java文件并想抑制某个警告时,我使用了@SuppressWarnings(nameOfTheWarningOnSonar)注解。我想知
我最近一直在研究 Elixir 和 Akka,这让我想到:Clojure 中的等价物是什么? 我发现了几篇关于代理与 Actor 的“消息吞吐量比较”帖子,但它们来自 8 年前 一个答案曾经是agen
我以前工作的地方,我们使用 Mercurial 进行版本控制。我有一份新工作,我们在那里使用 Subversion。我是 Subversion 的新手。 我发现自己想知道自从我在远程仓库上结帐以来 c
寻找一种等效的剪切和粘贴策略来复制 vim 的“cut til”。如果我真的知道它在 vim 中的名称,我敢肯定这是 googleable,但这是我要找的: 如果我有一个像这样的文本块: foo ba
我有一段 .NET 代码,我想将其移植到 64 位。这些代码基本上是一组对其他 C dll 的 P/Invoke 调用。 C dll 中的函数之一具有参数“size_t”。我应该在我的 P/Invok
开发 iPhone 应用程序的标准开发者平台是什么,例如相当于 Eclipse? 最佳答案 Xcode 是 iOS 开发的标准且唯一(由 Apple 支持)IDE。它也是必需的,因为如果您想要任何开发
我想将某些内容推送到 iPhone 的响应者链上。也就是说,我想将选择器发送到 UIResponder子类,如果它不响应所述选择器,则将其传递给其 nextResponder . 有什么想法吗? 最佳
我需要一个与 SQL 中的此查询等效的 Firebase 查询: select * from your_table where id in (123, 345, 679) 你会如何在 firebase
我有一个很好的解决方案: $.get('getdbstuff.php?type=meta,'.$var_id, function(data){ $(data).appendTo("head")
我正处于 Cassandra 应用程序数据建模的初始阶段。此应用程序具有现有的关系持久层,必须用 Cassandra 替换。 应用程序为用户使用一个名为login_log 的表,它提供所有应用程序中任
如标题所述,TensorFlow 是否存在与 numpy.all() 函数等效的函数来检查 bool 张量中的所有值是否为 True?实现此类检查的最佳方法是什么? 最佳答案 使用tf.reduce_
在 Stata 中,如果我有以下变量:var1、var2、var3、var4、var5 和 var6,我可以使用命令 var* 选择所有它们。 R 有类似的功能吗? 最佳答案 “dplyr”包中的se
我正处于 Cassandra 应用程序数据建模的初始阶段。此应用程序具有现有的关系持久层,必须用 Cassandra 替换。 应用程序为用户使用一个名为login_log 的表,它提供所有应用程序中任
我是一名优秀的程序员,十分优秀!