ocaml 相关问题

OCaml是一种严格的静态类型函数式编程语言,专注于表达性,正确性和效率。

Jane Street Base 的 *_intf.ml 文件的用途是什么?

这是一个一般的 OCaml 问题。 .mli 文件通常为其相应的 .ml 文件提供“接口”。 但是在Jane Street's Base中有时候会出现三个同名的文件...

回答 0 投票 0

- module1.ml

我正在尝试调试我做的一个程序。我的目录结构是这样的: src /caml.inria.frpubdocsmanual-ocamltoplevel.html#s%3toplevel-directives。

回答 1 投票 0

是否有一个 OCaml 函数用于确定一个整数列表中的每个元素是否按顺序排列?

例如,我希望用列表[1;2;3;4]返回true,但不希望用[1;3;4;5]。到目前为止,我已经试过了。我相信根据我的测试用例,这个方法是可行的......但是如果有人有反馈或者......。

回答 1 投票 0


如何查看一个函数是否已经在OCaml中被调用?

我想在OCaml函数中保存一个值,以便下次调用该函数时可以访问。有什么方法可以做到这一点吗?

回答 1 投票 0

formal_list COMMA typ ID { ($3,$4) :: $1 }

formal_list: typ ID { [(1,2)] }。

回答 1 投票 1

如何将一个大的模式匹配分成多个模块?

用例。我有一个基于XML的小型游戏引擎。每个XML元素都应该被解析。有一些元素,比如 和 . 现在,我有一个巨大的模式匹配子句......

回答 1 投票 0

(js_of_ocaml)如何解决 "错误。未绑定模块Js"?

我想重新编译一组文件,在我的Mac中生成一个.js文件。它曾经工作过(很久以前),我不知道为什么它不再工作了。它返回:$ make analyzejs ocamlfind ocamlc -g ...

回答 1 投票 0

如何将OCaml信号转换为POSIX信号或字符串?

我从OCaml程序中运行一个子进程,检查它的终止状态。如果它正常退出(WEXITED int),我得到预期的返回代码(0通常表示成功)。然而,如果它是...

回答 1 投票 0

Foo of int

有没有办法把构造函数作为函数来传递? type foo = /github.comjanestreetfieldslib

回答 3 投票 5

OCaml语法:变量并列式

我觉得关于这种奇怪的语言,我缺少一些重要的基础知识。考虑下面的程序: let q f x = f x x;; let s = q (+);; 如果我在OCaml中运行这个程序,我得到: val q : ('a -&...)。

回答 1 投票 0

如何修复Ocaml Unbound构造函数错误?

我是一个全新的OCaml新手。我试图写这个基本的递归函数,称为H序列。下面是我的代码: let rec H n = if n == 0 then 0 else n - H(H(H(n - 1)));;。

回答 1 投票 0

无法验证Moodle发送的OAuth1签名。

早上好,我正在尝试实现OAuth1。我试图在OCaml中实现OAuth1认证,以获得与Moodle的安全LTI请求。当我想重建OAuth1签名时,我遇到了一些麻烦:它与......不匹配。

回答 1 投票 0

Ocaml-计算一个字符串中所有子串的哈希值的最有效方法是什么?

什么是最有效的方法来获取一个字符串中所有子串的哈希值。我试着用: let str1 = "AHTG...";;(*1000000 chars*) let tam = 2;;; for i = 0 to String.length str1 - tam do ...

回答 1 投票 0

Opam init - 解算器失败 (Debian)

大家好,我安装了opam,当我运行:opam init时,init失败并给我这个错误。[ERROR] Solver failed: "usrbinaspcud tmpopam-xxx-15solver-in-15-548b09 tmpopam-xxx-15solver-..."。

回答 1 投票 0

向一个可变列表追加时的堆栈溢出

我正试图写一个递归函数,它适用于具有可变列表字段的记录类型。这个函数应该在递归调用过程中修改可变字段,向列表中添加新的值。...

回答 1 投票 0

如何编译相互依赖的OCaml和CC++代码。

我在定义一个接受uint64_t和char*的C void函数的签名时遇到了问题。我试过int64 -> string -> _。我也不知道如何编译我的C++文件(用C ...

回答 1 投票 1

如何在OCAML中用List.Map跳过一个词?

假设我有这样的代码 List.map (fun e -> if (e <> 1) then e + 1 else (*sadd nothing to the list*))) 有没有办法做到这一点?如果有,怎么做?我想同时操作项 ...

回答 6 投票 10

是否可以将C函数作为回调传给OCaml?

我正在研究如何在我的C++项目中集成一个OCaml TCPIP协议栈。我已经知道如何从OCaml中调用C,从C中调用OCaml,感谢这个答案。OCaml作为C库,hello world的例子... ...

回答 1 投票 0

1;2;3;4;5

我在Ocaml中使用数组时遇到了一些问题。也就是说,我想根据我传递的值将元素向右或向左移动。例子:#让a = [ ]。# 让a = [

回答 1 投票 0

© www.soinside.com 2019 - 2024. All rights reserved.