如何在OCaml程序中动态计算一段OCaml代码？
在OCaml程序中动态计算一段OCaml代码可以使用OCaml的反射机制和解释器来实现。下面是一个基本的步骤：
- 使用OCaml的反射机制加载OCaml代码：OCaml提供了
Dynlink模块，可以动态加载OCaml代码。通过调用Dynlink.loadfile函数，可以将一个OCaml源文件或字节码文件加载到当前程序中。 - 解析和执行动态加载的代码：加载代码后，可以使用OCaml的解释器来解析和执行这段代码。OCaml提供了
Toploop模块，可以在程序中创建一个交互式的OCaml解释器环境。通过调用Toploop.use_silently函数，可以解析和执行加载的代码。
下面是一个示例代码：
open Dynlink
open Toploop
let eval_ocaml_code (code : string) : unit =
try
Dynlink.loadfile "dyn_code.cmo"; (* 加载OCaml代码 *)
Toploop.use_silently Format.std_formatter (Scanf.Scanning.from_string code) (* 解析和执行代码 *)
with
| Dynlink.Error error -> print_endline (Dynlink.error_message error)
| exn -> print_endline (Printexc.to_string exn)
let () =
let code = "let x = 42 in print_int x" in
eval_ocaml_code code在上面的示例中，eval_ocaml_code函数接受一个字符串参数code，表示要动态计算的OCaml代码。首先，通过Dynlink.loadfile函数加载一个OCaml代码文件（例如dyn_code.cmo）。然后，通过Toploop.use_silently函数解析和执行加载的代码。在示例中，我们直接将要执行的代码作为字符串传递给eval_ocaml_code函数。
需要注意的是，动态计算OCaml代码存在一定的风险，因为它可以执行任意的OCaml代码，包括可能具有潜在安全风险的代码。因此，在实际应用中，应该谨慎使用动态计算代码的功能，并确保对输入进行充分的验证和过滤，以防止潜在的安全漏洞。
对于OCaml的更多信息和相关产品，你可以参考腾讯云的OCaml开发文档：OCaml开发文档。
相关·内容
2回答
我正在写一个程序，它解析用一些虚构的语言编写的脚本，并使用该脚本进行一些计算。该语言有一个特殊的结构，用于调用'a -> bool类型的外部OCaml函数。所以，在语言的中间，我们可能有
blah blah function (foo 45) blah blah
并且我希望解析器使用构造函数，比如
OCamlFunction of ('a -> bool) * 'a
将该位解析为
OCamlFunction (foo,45)
其中'foo‘是用户必须在单独的.ml文件中提供的函数，解析器事先并不知道；只有定义了"foo“的OCaml文件的名称
浏览 3提问于2011-03-11得票数 1
回答已采纳
我正在迁移到最新版本的OCaml (以及Jane Street的核心模块)，但希望我的代码继续使用旧版本进行编译。为此，我想创建一个模块，该模块具有可移植的函数，根据版本的不同映射到旧的或新的接口。查询OCaml版本和Jane Street版本都是可行的。
我们如何在运行时查找编译器或Jane Street的版本？我知道我可以通过构建系统传递ocamlopt --version的输出，但理想情况下，我不应该以一种特殊的方式调用我的程序。
浏览 5提问于2022-02-07得票数 1
回答已采纳
例如，我想要将以下文件动态加载到我的程序中并打印结果。
input1.txt -->打印100
let x = 10 in x * x
input2.txt -->打印3
let x = 1 and y = 2 in x + y
input3.txt -->打印4
let ls = [1;2;3;4] in List.length ls
可能对这个项目很有用。我想知道如何实现它的更多细节。谢谢!
浏览 0提问于2017-08-03得票数 0
回答已采纳
1回答
我需要将一个依赖于多个动态库的本地OCaml应用程序部署到Linux。其想法是准备一个独立的软件包(不依赖于OCaml、OPAM等)它包含所有内容，并且可以安装在假设的任何现代x84 Linux盒上。在理想情况下，只有一个文件需要部署和运行。
我能想到的最好的方法是部署所有所需的动态库(ldd app.native)以及应用程序可执行文件，并通过bash脚本在调用应用程序之前导出LD_LIBRARY_PATH来运行应用程序。
任何如何使它变得更好的想法都是受欢迎的。
更新
一些小贴士：
使用验证与不同的Linux发行版的兼容性。
在稳定但有点过时的发行版(如CentOS 6)上构建二进
浏览 6提问于2015-04-22得票数 4
回答已采纳
在F#程序中，我更喜欢使用
[<RequireQualifiedAccess>]
type MyType =
| FirstOption of string
| SecondOption of int
因此，在使用MyType的代码中，我不得不编写MyType.FirstOption，而不是只编写FirstOption。有什么办法在OCaml中强制这样做吗？
浏览 2提问于2015-06-01得票数 2
回答已采纳
在F#中，我们使用了，它可以在各种计算上下文(异步、选项等)中减少锅炉板和排样。
ReasonML有类似于此的吗？
如果是的话，语法是什么？
浏览 1提问于2018-04-05得票数 8
回答已采纳
1回答
我正在寻找一个我最近听到的术语，但现在我想不起来了。在我的舌尖上。
当您能够执行单个单元格/代码块、查看输出以及系统在执行单元格之间保持状态时，会调用什么？
例如，这是Mathematica记事本、木星笔记本等的一个特性。但我要找的术语比“笔记本界面”或“识字编程”要窄得多，因为它不需要漂亮的打印、文本单元等。其目的更多是为了测试语法或动态查看输出，而不是创建可读的文档。
我想是个缩略语，可能有四个字母.
浏览 1提问于2019-03-13得票数 1
回答已采纳
4回答
如果我正在编写编译器(比如基于堆栈的VM)，那么if语句的代码：
if (<some_expression>)
{
<some_instructions>
}
将被翻译为以下psuedo程序集：
<evaluate expression and push result on stack>
JUMP-IF-TRUE label
<some_instructions>
:label
这在编译器中很容易实现，但是我不知道如何在解释器中实现这一点。
解释器和编译器之间的区别是编译器输出以后要执行的指令，解释器马上执行。
例如，一个解释器不会输出指
浏览 0提问于2015-05-09得票数 6
3回答
我已经有一段时间没有编写OCaml代码了，我遇到了这个问题，这个问题听起来很简单，但我在解决这个问题时遇到了心理障碍：
编写一个函数，该函数接受一个函数f，其变量数为返回布尔值的变量数(即f类型为'a -> 'b -> 'c -> ... -> bool)，并返回一个函数g，该函数g表示f的否定(即所有有效参数集的(f x1 x2 .. xn) == not (g x1 x2 .. xn) )。
它受到以下代码块的启发，它解决了Javascript中的问题：
function negate(func) {
return function()
浏览 3提问于2015-06-22得票数 5
回答已采纳
2回答
I
“我注意到xxxx中的程序员倾向于过度使用继承，这可能是因为它是用这种语言扩展代码的唯一合理方法。扩展代码的一种更好、更通用的方法通常是使用钩子(参见Apache的模块API，参见我可能添加的Drupal )。”
已经有一段时间了，还没有在OCaml文档的其他地方重复使用“钩子”这个词。
在OCaml中对此有一些语言支持吗？把我引向正确的方向。我想要类现存(所有实例)的管理和回调，甚至不是，模块能以某种方式实现钩子吗？
谢谢!
浏览 1提问于2013-04-08得票数 2
我为一个函数编写了一段简单的代码，该函数接受一个字符串并返回其长度：
let fun x = String.length x;;
但是它显示了语法错误。为什么？如果我只写String.length x;;就行了，但是我的函数声明有什么问题呢？
如何在OCaml中将字符串变量作为参数传递给函数？
浏览 0提问于2020-08-12得票数 0
1回答
我编译了一个Haskell源代码包，将FFI实现为一个(.so)动态库。我想在OCaml中调用通过FFI导出的函数。为此，我实现了一个简单的驱动文件，如下所示
open Quelea.Shim
open Ctypes
open PosixTypes
open Foreign
let readEffects =
foreign "readEffects" (ptr char @-> ptr char @-> returning ptr string)
let effects = readEffects "csasc" "saxas
浏览 0提问于2016-11-27得票数 4
回答已采纳
2回答
从一个在C世界受过训练的程序员来说，这是我使用OCaml的主要方法。
let main () =
Printf.printf "Hello, world - %d %s\n" (Array.length Sys.argv) Sys.argv.(0)
;;
main ()
但是，这段代码在ocaml/ocamlc/ocmalopt中工作得很好。
Printf.printf "Hello, world - %d %s\n" (Array.length Sys.argv) Sys.argv.(0)
;;
这背后的逻辑是什么？OCaml是否类似于
浏览 3提问于2015-02-25得票数 7
回答已采纳
我有一个任务，它需要在不使用任何库函数的情况下编写一段代码到联合列表，这是我的代码
let rec union (l1:'a list) (l2:'a list) =
let rec f x l = match l with
| [] -> true
| hd::tl ->
if x = hd then false else f x tl
in
match l2 with
| [] -> l1
| hd::tl ->
if f hd l1 then
union hd::l1 tl
浏览 3提问于2015-03-14得票数 0
我是OCaml的新手，最近在学习程序验证。为了实现，我需要一个Ocaml的库模块，它可以获得另一个Ocaml程序的结果。我希望这个库具有与JAVA中的ProcessBuilder相同的功能。
我想知道有没有给Ocaml的。
浏览 10提问于2019-07-24得票数 0
回答已采纳
1回答
所以问题是，我想在OCaml中做一个组合数函数，我有以下代码：
let rec fact: int -> int = fun num ->
let rec help: int -> int -> int = fun n acc ->
if n>0 then help (n-1) (acc * n)
else acc
in
help num 1;;
然后梳子的功能：
let comb (m,n) =
fact m / fact (m-n) / fact n;;
我认为奇怪结果的问题是递归，但是在实现了尾递归(实际上是函数)之
浏览 5提问于2022-10-24得票数 0
回答已采纳
是否有可能在OCaml的中重新加载模块
在处理OCaml代码时，我的开发工作流程如下所示：
首先，在Vim中打开一个文件example.ml并对其进行黑客攻击。切换到另一个终端并运行utop。从utop内部加载带有指令#use "example.ml";;的代码。
回到Vim，并对代码进行一些更改。在更改代码之后，我想玩一下新的更改。返回到utop并重新运行指令#use "example.ml"。
如果有一个#reload指令来重新加载以前加载的所有模块，那就太好了，但是似乎没有。有什么方法可以轻松地重新加载所有以前加载的模块吗？
理想情况下，这将类似于GHCi
浏览 2提问于2017-09-04得票数 25
我知道如何在in中使用关键字OCaml。我的问题是编译器执行表达式的顺序。
例如，让我们使用以下代码：
let v = expr1 in expr2
编译器首先查看expr2，然后当v出现在expr2中时，它用expr1代替v？还是首先对expr1进行评估，然后应用expr2？
你可能想知道我为什么要问这个奇怪的问题。这是因为我不理解以下代码是如何工作的：
let rec some_function = function
| [] -> ()
| t::q when (*here put a condition*) -> some_function q
| t
浏览 0提问于2018-09-30得票数 0
回答已采纳
下面的代码在OCaml 3.11中编译得很好：
module type T =
sig
type test
val create : int -> test (* line 44 *)
...
end
...
type test = (string, clause list) Hashtbl.t
let create = Hashtbl.create (* line 332 *)
但是，当我试图用OCaml 4.01编译它时，它会给出以下错误：
Error: Signature mismatch:
...
Values do not matc
浏览 5提问于2014-02-26得票数 1
回答已采纳
我在OCaml中发现了跟踪函数，以跟踪函数调用。我尝试了fibonacci，但是函数调用的顺序不是我所期望的。在我的代码中，我首先调用fib (n - 1)，然后调用fib (n - 2)，但是，通过跟踪，它告诉我实际上首先调用了fib (n - 2)。原因何在？
let rec fib n =
if n < 2 then 1
else fib (n - 1) + fib (n - 2);;
当我跟踪fib 3时，我得到：
fib <-- 3
fib <-- 1
fib --> 1
fib <-- 2
fib <-- 0
fib -->
浏览 0提问于2016-02-22得票数 1
回答已采纳
例如,
(*) f是算术声明：+，-，*，/。X是int列表。Y是int。
rawr将f应用于具有y的x的每个元素，并返回累加值*)
让rawr x x y= ..。…………
rawr (*) 1;2;3 2应返回(1*2) + (2*2) + (3*2) = 12
rawr (+) 1;2;3 2应返回(1+2) + (2+2) + (3+2) = 12
我不需要编写rawr代码(这只是我想出的一个随机示例，以明确我的问题)，但我确实需要将其他函数或算术声明作为参数(特别是对于rec或折叠结构)。我一直在尝试不同的格式，但至今没有成功.有谁能告诉我如何以未指定的算术声明或函数作为参数？
谢谢
浏览 4提问于2014-09-21得票数 0
回答已采纳
嗨，我一直在互联网上检查，以找到一种在OCaml中实现“字符串是否以特定文本结尾”的好方法，我发现在OCaml中操作字符串并不像我预期的那样简单。
下面是我的OCaml代码，它使用Str.regexp检查文件名称是否以".ml“结尾，以查看它是否是OCaml脚本文件。但是，它并不像我预期的那样起作用：
let r = Str.regexp "*\\.ml" in
if (Str.string_match r file 0)
then
let _ = print_endline ("Read file: "^full_path) in
浏览 8提问于2016-06-16得票数 5
回答已采纳
1回答
我有一个下面的源代码。我不明白它的语法。[g | t <- ts; g <- symbols t]非常奇怪。请帮助我解释它，或者推荐任何与它相关的书籍或文档。非常感谢
type term = V of string | F of string * term list
let rec symbols = function
| V x -> [x]
| F (f, ts) -> f :: [ g | t <- ts; g <- symbols t ]
let rec functions = function
| V _ -> []
|
浏览 4提问于2015-03-03得票数 0
我正在尝试使用js_of_ocaml将带有在线下载源代码的Yojson转换为字节文件。
我尝试以下命令：
%: ocamlfind ocamlc -package yojson -linkpkg -g -o yojson.cmo
%: ocamlfind ocamlc -package js_of_ocaml -package js_of_ocaml-ppx -linkpkg -g -o -package yojson yojson.byte
我试图将一个OCaml文件编译成字节码，但是它会产生以下错误：
%: ocamlfind ocamlc -package js_of_ocam
浏览 16提问于2022-04-28得票数 0
2回答
我想写一个OCaml库，它将被其他编程语言使用，比如C甚至python。
我甚至不确定这是否可行，我想我需要放弃一些类型安全性，并为动态类型语言的接口添加运行时检查。
这是可行的吗？有没有工具可以实现这个目标来自动生成绑定？我认为像Corba这样的东西不太适合ocaml ABI，但我可能错了。
编辑:通过放弃运行时需求，只使用具有llvm前端的语言，我想我可以使用llvm作为常见的ABI，但它似乎很棘手。
浏览 1提问于2012-10-26得票数 4
回答已采纳
二进制的意思是字节码和本机代码。
我构建了一个仅依赖于标准库( Standard )的程序，它使用了带有最小标记集的ocamlbuild：
ocamlbuild -I … -use-ocamlfind -libs str program.byte
它运转正常。为了获取信息，我使用了OCaml 4.02.1，Mac山狮。
关于ocamlobjinfo program.byte，我概述了它的内容：
…
Imported units:
9c1885d2c36e2eb94f56f21da9040d87 UnixLabels
30a4cc8e5f4f902ea609c91
浏览 1提问于2015-05-06得票数 4
2回答
我正在尝试对c和ocaml进行基本的微基准测试比较。我听说对于fibonacci程序，c和ocaml大致相同，但我不能复制这些结果。我用gcc -O3 fier.c -o编译c代码，用ocamlopt -o ocaml-code fibo.ml编译OCaml代码。我使用time ./c-code和time ./ocaml-code来计时。每次我这样做，OCaml都需要0.10秒，而c代码每次大约需要0.10秒。除了这是一个天真的基准之外，有没有办法让ocaml更快？有人能看到他们电脑上的时间吗？
C
#include <stdio.h>
int fibonacci(int n)
浏览 2提问于2011-01-17得票数 2
我几天前就开始学习OCaml了。我安装了所有的东西，并在Atom上测试了一个小程序，运行正常。但我真的不知道如何在VSC上工作。我创建了一个文件'test.ml'，但是我如何运行它呢？提前感谢
浏览 0提问于2021-01-27得票数 1
1回答
我是OCaml的新手。我想在循环中动态创建新的变量。
我尝试了x.(i)、x.i等几种方法，并尝试使用fprintf创建名称。
浏览 0提问于2015-05-04得票数 1
我在跟踪。它演示了Graphics的使用。上面写着
Windows用户:为了在Windows上交互地工作，您需要创建一个自定义toplevel。从命令行发出ocamlmktop -o ocaml图形graphics.cma命令。
我不太明白这是什么意思。
我在"D:\MySourceCode\OCaml\2.Graphics.ml“中有相应的源代码。我的cmd已进入OCaml环境。现在我该怎么办？
浏览 1提问于2013-10-02得票数 0
回答已采纳
3回答
施罗德大数序列
、、、
我正在实现一个递归程序来计算Schroder序列中的某些值，我遇到了两个问题：
我需要计算程序中的电话数；
超过某个数字，程序会产生不正确的值(我认为是因为这个数字太大了)；
以下是代码：
let rec schroder n =
if n <= 0 then 1
else if n = 1 then 2
else 3 * schroder (n-1) + sum n 1
and sum n k =
if (k > n-2) then 0
else schroder k * schroder (n-k-1) + sum n (k+1)
当
浏览 12提问于2022-04-12得票数 0
1回答
我在这个模块中有一个模块结构，我声明了一个变量，用于module A中的一些函数。
Module A.
Variable a : nat.
End A.
然后我使用提取机制。
Extraction Language Ocaml.
Set Extraction Optimize.
Set Extraction AccessOpaque.
Extraction A.
或者只是
Extraction A.
它为我生成了带有警告的代码：“以下公理必须在提取的代码中实现:A.”
type nat =
| O
| S of nat
module A =
struct
(**
浏览 5提问于2013-03-07得票数 0
回答已采纳
我在R那一边已经有几年了。我不做任何核心统计，而是使用R作为一个复杂的“csv文件”操纵器。然而，我确实需要以分布式的方式处理大量的数据。
我发现R对我的应用程序来说已经不够快了，我现在正在研究其他语言。
第一个选择是Python-pandas，它速度更快。此外，我读到Ocaml可能比python快10倍，这对我来说听起来非常有吸引力。
然而，我发现Ocaml的标准库似乎相当低级。我找不到任何像R的数据框这样的高级容器。
你们如何在Ocaml中表示数据帧？您是否使用元组列表？有人能在这里分享一点知识吗？
谢谢!
浏览 3提问于2013-11-21得票数 7
我一直在讨论的一件事是如何用Django实现一个主细节应用程序。最贴切的例子是发票和InvoiceLines。
要讨论的事情是：
如何构造用于保存、加载等主模型和详细模型的代码
视图:文件和模板，细节行模板，如何动态添加
自动计算的字段(如父行上的总数)，这段代码的去向是什么？
编辑/增补：
关于自计算字段，这是我的第一个解决方案，，在模型的保存方法中不是更好吗？
主模型需要详细模型的值。(也就是说，首先需要计算每个细节的总计，保存每一行，然后求和并保存主)它是如何以更Django的方式创建的，而不是调用totals ()方法？
浏览 1提问于2013-03-26得票数 4
2回答
我有一个makefile来安装和编译ocaml项目。我需要安装ocaml 4.07才能使用这个版本的一些特定功能。在安装opam之后，我下载了特定的版本，但是为了用这个版本编译项目，我从终端得到了一条消息： The environment is not in sync with the current switch.
You should run: eval $(opam env) 我希望能够运行make install并在特定版本中编译项目。 我尝试为要调用的eval命令创建特定的规则，并尝试同时调用eval $(opam env)和eval 'opam con
浏览 29提问于2019-05-10得票数 0
回答已采纳
我正在使用Jane Street的async_core，方法是在_tags中添加package(async_core)。
当我使用ocamlbuild -use-ocamlfind -I src test/test_airport.native时，它会给我以下错误：
camlfind ocamlopt -linkpkg -package async_core -package unix -package netclient -package mongo -package xml-light src/airport.cmx -package/test_airport.cmx -o测试/test
浏览 13提问于2013-05-15得票数 21
回答已采纳
在OCaml中是否有这样一种机制，以便我可以根据存储函数名的变量动态调用函数，就像我在其他脚本语言中所做的那样？
例如，我编写了一个foo()函数。我将字符串常量"foo“存储在变量"x”中。在JavaScript中，我可以执行类似这样的window[x](arguments);来动态调用foo()方法。我可以在OCaml中做类似的事情吗？
浏览 3提问于2014-03-19得票数 0
1回答
在编译OCaml应用程序时，我得到以下错误：
File "/tmp/ocamlpp466ee0", line 308, characters 34-233:
Error: Signature mismatch:
...
The field `unlock' is required but not provided
The field `lock' is required but not provided
Command exited with code 2.
我的猜测是，错误是通过OCaml库Datalog发布的(我已经从安装了版本
浏览 2提问于2013-10-15得票数 0
回答已采纳
我正在尝试在解释器中编译/运行另一个程序员编写的程序。这个程序使用这个结构：
#load "unix.cma"
这是我以前从未遇到的。我找到了这个页面：，其中提到了它，但是在解释器中键入这段代码会导致语法错误。当我通过ocamlc使用此指令运行文件时，也会发生同样的事情。我遗漏了什么？
ocamlc -v
The Objective Caml compiler, version 3.12.1
Standard library directory: /usr/lib64/ocaml
浏览 0提问于2013-07-06得票数 0
回答已采纳
我一直在尝试运行一个使用图形的程序(我已经使用了)。和其他帖子让我得出了这样的结论:我需要创建一个~/..bashrc并放入其中：
alias ocaml="/usr/local/Cellar/ocaml/4.03.0/bin/ocaml”
但是，/usr/local/Cellar/ocaml/4.03.0/bin/ocaml在我的系统中不是一个有效的文件。B/c当我在终点站运行时：
$ cd /usr/local/Cellar/ocaml/4.03.0/bin
-bash: cd: /usr/local/Cellar/ocaml/4.03.0/bin: No such file or
浏览 2提问于2016-12-01得票数 0
1回答
我正在学习OCaml中更复杂的编译。
首先，我不是一个C程序员，我真的不知道什么是make，等等，我正在使用Mac OS X terminal，我也是一个Java程序员。
我发现在OCaml中，有一些东西，比如ocamlc，ocamlbuild，ocamlfind，oasis等等，我对它们感到非常困惑。
问题1
有人能告诉我我应该在ocamlc，ocamlbuild，ocamlfind，oasis中使用哪一个吗？
问题2
我试过这个教程，它对ocamlbuild有好处。
但是，如果我想使用外部库(如ocaml-batteries或camomile )，如何使用ocamlbuild链接这些库
浏览 1提问于2013-04-24得票数 5
3回答
从Lisp来到OCaml，我发现自己对函数何时返回、何时不返回感到非常困惑，我怀念我的神奇引语！值得庆幸的是，大多数时候，OCaml似乎会自动知道我何时需要计算函数，何时不需要。然而，我经常发现自己试图在let表达式中为函数赋值，如下所示。
let start = Sys.time in
(*
* do something here
*)
;
let ending = Sys.time in
Printf.printf "did something in %f seconds\n" (ending -. start)
但是后来ocamlc抱怨说
Error: This E
浏览 0提问于2010-09-13得票数 6
回答已采纳
1回答
经过几天的努力，我不得不停止浪费时间，并最终寻求帮助。我在我的iMac上运行小牛。我已经安装了EclipseVersion: Kepler Service Release 1和OcaIDE插件。默认情况下，除了ocamlbuild、omake和Ocamle lib Path之外，我的所有路径都是填写的。所以我在想，我已经做了所有需要做的事情，最终让Ocaml编译我的程序，并得到我在终端中获得的结果。
我创建了一个新的Ocaml托管项目，然后创建了一个扩展名为file.ml的新文件，并键入：
List.fold_left
(fun acc x -> acc + x)
0
[1; 2; 3;
浏览 1提问于2013-10-29得票数 1
如果我有一个基于动态链接库和.lib的g++编译器，我可以用我用cygwin windows编译的应用程序来链接它们吗？如果不能，它能在linux g++库版本上工作吗？
从windows编译器、cygwin g++和linux g++生成的库是否可以交叉链接?？
浏览 5提问于2011-11-24得票数 0
回答已采纳
2回答
有没有可能用XNA C#代码动态生成声音？
一段时间前，当XNA首次发布时，我对此进行了研究。当时，只能回放编译后的代码中包含的声音资源。
自XNA 1.0以来，是否有任何允许XNA应用程序动态生成和回放音频的更改或新功能？
浏览 4提问于2011-02-18得票数 3
回答已采纳
根据
您可以这样实现List.map：
let rec map project = function
| [] -> []
| head :: tail ->
project head :: map project tail ;;
但是，它的实现方式如下：
let rec map project = function
| [] -> []
| head :: tail ->
let result = project head in
result :: map project tail ;;
他们说，这样做是为了确保按预
浏览 0提问于2017-05-10得票数 6
回答已采纳
3回答
目前，我正在为我的编程语言类自学ocaml，我在ocaml中编译多个文件时遇到了困难。
我在我的get_file_buffer.ml文件中定义了一个函数
get_file_buffer.ml源代码
(*
Creating a function that will read all the chars
in a file passed in from the command argument.
And store the results in a char list.
*)
let read_file char_List =
let char_in = open
浏览 0提问于2018-03-05得票数 1
回答已采纳
1回答
我很惊讶地看到，即使是这样的一个简单的程序：
print_string "Hello world !\n";
当使用一些相当激进的选项(使用ocamlopt )静态地编译到本机代码时(使用musl)，在我的系统上仍然会有~190 to左右。
$ ocamlopt.opt -compact -verbose -o helloworld \
-ccopt -static \
-ccopt -s \
-ccopt -ffunction-sections \
-ccopt -fdata-sections \
-ccopt -Wl \
-c
浏览 2提问于2019-09-20得票数 4
回答已采纳
似乎很多人都在说OCaml没有很好的并发能力，也不适合web服务器应用。
我目前正在学习。现在看来，OCaml提供了并发性。
我能知道为什么OCaml的并发/线程被认为是糟糕的吗？
我可以用OCaml开发服务器应用程序吗？我可能会遇到什么问题？
浏览 1提问于2013-05-03得票数 15
回答已采纳
当我的OCaml程序以编译后的形式作为本机代码运行时，我想计算它的峰值内存使用量。我考虑在stats模块中使用Gc API，但它似乎在调用快照时返回快照。在Gc模块或其他模块中，是否有一些信息可以用于在程序终止之前获得峰值堆的使用？
浏览 7提问于2022-01-28得票数 1
回答已采纳
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
对象存储
腾讯会议
实时音视频活动推荐
腾讯云开发者
