OCaml 中的忽略函数
在《使用目标 caml 开发应用程序》一书的第 95 页上， let imap f l = let l_res = icreate () in while not (iempty l) do ignore (icons (f (ihd l)…
在 OCaml 中传递零数量 lambda 函数的快捷方式
有没有什么简单的方法可以将零数量函数传递给另一个函数。现在我这样做： let f a b c = ... a (fun () -> f a b c) 第二行有语法糖吗？…
理解 Ocaml 中的命令式列表示例
我是 ocaml 的新人。 感谢有人能帮助我理解 本书第 94 页提供的材料 “使用目标 caml 开发应用程序”。 难以理解以下段落的含义： 只是 (itl l) 的评…
使用 OCaml 和 Haskell 制作独立的顶层
在 Common Lisp 中，程序通常生成为二进制文件，并在其中捆绑了翻译器。 StumpWM 就是一个很好的例子。 如何使用 Haskell 和 OCaml 做同样的事情？ 也…
如何访问 OCaml 中的列表
我想编写一个函数来检查列表中的每个项目是 true 或 false。如果至少有一个元素为 false，它将返回 true，因此： assert_eq "checkFalse [true false …
OCaml 顶级输出格式
如果我在 OCaml 的顶层执行以下命令： #require "num" open Ratio ratio_of_int 2 输出是： - : Ratio.ratio = <ratio 2/1> 这样的格式如何可能？…
匹配元组列表中的一项
我有一个 (string, int) 形式的元组列表。我正在尝试搜索列表并返回其字符串组件与参数匹配的元组，如下所示： let find_tuple string_name tuples_li…
引用 OCaml 中的当前模块
是否有任何类型的关键字（例如 this）来引用当前模块？例如，我应该在此处放置什么： module Test: Test_Type = struct module N = Test_Outside(___)…
OCaml 中嵌套签名的示例？
在 OCaml 中，您可以嵌套签名： module type FOO = sig module type BAR (* … *) end 我只是想知道是否有人有任何使用中的示例，因为我想不出任何需…
