有哪些 OCaml 库可用于惰性列表处理?
有哪些 OCaml 库提供惰性列表处理?我正在寻找类似的东西: type 'a lazy_list = (*'*) | Nil | Cons of 'a * 'a lazy_list lazy_t let from f = let …
!= 在 OCaml 中有意义吗?
这似乎是某些类型的等效比较,但不是字符串。 # 3 != 3 - : bool = false # 3 != 2 - : bool = true 这正如预期的那样。 # "odp" = "odp" - : bool = …
Ocaml“内存不足”例外;详细模式表示“结构比较中的堆栈溢出”
一个来自外来来源的非常巨大的 ocaml 程序需要修复。问题之一是程序在看似无辜的行崩溃: Hashtbl.mem loc_to_no loc 出现“内存不足”异常。问题是,…
使用 OCaml 实现以下内容
我正在尝试使用 OCaml 实现以下家庭作业: g(n) = y if n = x else f(n) 所以,例如 if f(n) = n+1, x = 7, y=42, then g(1) = 2, but g(7) = 42 我有…
Erlang 与 OCaml(最适合的利基)
嗨,我想学习一门 FP 语言(当你从事不需要学习太多知识的职位时,这总是很痛苦),经过一些研究,我觉得 Erlang 和 OCaml 是我真正想要的两种语言我…
我如何在 Windows 上配置/安装 jocaml
我能找到的唯一说明在这里: http://eigenclass.org/hiki/fast-widefinder 以及旧的 jocaml 网站。 当我尝试使用 ./configure 进行配置时,它说 jocam…
如何将 OCaml 与 iPhone API 连接?
我想开始为 iPhone 开发应用程序,但我真的很想使用 OCaml 而不是 Objective-C。 经过一番谷歌搜索后,似乎这绝对是可能的,但我还没有找到任何实际编…
在纯函数 ML 中进行 N 维行走?
这个想法是遍历多个维度,每个维度都定义为一个范围 (* lower_bound, upper_bound, number_of_steps *) type range = real * real * int ,因此功能类…
维基百科中的 Ocaml OpenGL 示例无法编译
我正在尝试开始一些基本的 Ocaml 编程。 首先,我想从维基百科上运行 OpenGL 示例。 http://en.wikipedia.org/wiki/Ocaml let _ = ignore( Glut.init …
是否可以从 OCaml 调用 C 函数并有效地传递一个巨大的数组?
我正在考虑在新应用程序中结合使用 OCaml 和 C 代码。 从 Ocaml 调用 C 代码似乎很简单: external name : type = C-function-name 然而,反过来(从 …
为什么是“**”? 在 OCaml 中,它的结合不比否定更紧密吗?
在这个问题之后,我不知道该怎么想。 在 OCaml 中,如果您执行类似 -1.0**2.0 的操作(因为您需要浮动类型),您将获得 1.00。 根据标准操作顺序,结…
ocaml 中的 {X with value}
我在 Yacfe 示例: Visitor_c.vk_program { Visitor_c.default_visitor_c with Visitor_c.kexpr = (fun (k, bigf) exp -> match Ast_c.unwrap_expr …
为什么 OCaml/F# 中的函数默认不是递归的?
为什么 F# 和 OCaml(可能还有其他语言)中的函数默认情况下不是递归的? 换句话说,为什么语言设计者认为在如下声明中显式地输入 rec 是个好主意: l…