二叉树中的OCaml选项类型
是一种用于表示可能存在或可能不存在值的数据类型。在OCaml中，选项类型被定义为'a option，其中'a表示可以是任意类型的占位符。
选项类型有两个可能的取值：Some x和None。当一个值存在时，它被包装在Some构造器中，例如Some 42表示存在一个整数值为42。当一个值不存在时，使用None表示。
选项类型在二叉树中的应用场景是处理可能为空的节点。例如，当遍历二叉树时，某个节点的左子树或右子树可能为空，这时可以使用选项类型来表示。
在腾讯云中，没有特定的产品与OCaml选项类型直接相关。然而，腾讯云提供了一系列云计算产品和服务，如云服务器、云数据库、云存储等，可以用于构建和部署基于OCaml选项类型的应用程序。你可以访问腾讯云官方网站（https://cloud.tencent.com/）了解更多关于腾讯云的产品和服务。
相关·内容
当我在OCaml中对树上的函数进行编程时，我总是面临这个反复出现的问题:当我到达树的叶子时，我不想返回任何东西，而是希望继续我的程序。
更清楚的是，有时我有一些练习，要求查找特定的节点n，这样我就可以执行以下操作：(为了简单起见，我在这里对二叉树执行此操作)：
let rec find_node n tree = match tree with
|Nil -> (* I don't want my program to stop here but then what can I return ?*)
|Node(l, k, r) as t when k =n ->
浏览 0提问于2019-04-08得票数 1
回答已采纳
1回答
我正在寻找OCaml中的用法示例，以演示简单的性质或定理。例如，给定二叉树的ocaml定义，可以证明节点的最大数目是2^(h+1)-1。
我为二叉树和图建立了这样的例子，但没有别的。有什么建议或联系吗？
浏览 4提问于2012-10-17得票数 4
2回答
给定是一种用来构造二叉树的类型：
type tree = Leaf of int | Node of int * tree * tree
现在假设我们希望通过类型来表示二叉树包含一个元素为零的节点，也就是说，我想表示如下形式的内容：
let rec p x = match x with
| Leaf(y) -> y = 0
| Node(y,l,r) -> y = 0 || (p l) || (p r)
type zerotree = ZeroTree of t:tree where p(t)
这意味着，每当我有一个类型为Zero
浏览 0提问于2015-03-24得票数 0
回答已采纳
我正在做，不能完全理解这个问题中的一些术语。
二叉树的字符串表示。(中)
有人将二叉树表示为以下类型的字符串(参见示例)："a(b(d，e)，c(，f(g，))“。
编写一个OCaml函数，它生成这个字符串表示，如果树是像往常一样给出的( Empty或Node(x,l,r)项)。
然后编写一个函数来做这个逆运算；例如，给定字符串表示，以通常的形式构造树。
最后，介绍了可以双向使用的combine the two predicates in a single function tree_string。
使用tree_string和单个谓词tree_dlist编
浏览 1提问于2014-02-25得票数 1
回答已采纳
为什么Scala选项类型没有被调用，就像在Haskell中一样？
也许对我来说有更多的“语义意义”，但也许选项有不同的行为，我不知道。
Scala中的选项可能没有被调用，有什么特别的原因吗？
浏览 0提问于2013-08-09得票数 15
回答已采纳
1回答
我想在ocaml中为链接列表创建一个递归类型，为此我为列表的元素定义了一个类型。我写了以下代码
type elem=
|Nil
|Elem of {content:int;mutable next:elem};;
但我收到语法错误了。如何纠正错误？
浏览 0提问于2018-04-12得票数 1
回答已采纳
维基百科：
红黑树是一种自平衡二叉树，一种用于计算科学的数据结构，通常用于实现关联数组。
有人知道用redblack树实现关联数组的语言吗？
浏览 2提问于2010-09-11得票数 3
回答已采纳
我读了一些关于Standard中的值限制的文章，并尝试将这个示例翻译到OCaml，看看它会做什么。看起来，OCaml在SML由于值限制而拒绝程序的上下文中生成这些类型。我还在其他上下文中看到过它们，比如尚未“专门化”到特定类型的空哈希表。
下面是SML中一个被拒绝的程序的示例：
val r: 'a option ref = ref NONE
val r1: string option ref = r
val r2: int option ref = r
val () = r1 := SOME "foo"
val v: int = valOf (!r2)
如果将第一行逐
浏览 7提问于2016-07-05得票数 11
回答已采纳
我从C++模板、Java泛型和C#泛型之间学到了区别，这有助于我更好地理解如何以不同的方式正确地使用它们。
类在OCaml中也可以有类型参数，参见中的“类参数和多态性”。
如果我是对的，在OCaml中，类可以显式参数化多态，而函数隐式参数多态？
为了帮助我学习在OCaml中使用泛型，哪种语言的泛型是OCaml中类似于C++、Java或C#的泛型类和函数？因为OCaml的函数是隐式参数多态的，而不是显式的，而且C++、C#和C#中的泛型函数是显式参数多态的，这一点我说得对吗？
OCaml似乎有第三个泛型：。如果我是对的，泛型模块与OCaml中的泛型类和函数是不同的。我在这里的问题只是关于类和函数
浏览 3提问于2017-09-20得票数 3
回答已采纳
我尝试将优先级队列定义为二叉树，但不断收到语法错误
type 'a priority_queue = PriorityQueue of (Leaf | Node of 'a priority_queue * ('a*int) * 'a priority_queue)
当我这样做时，我也会得到一个错误
type 'a priority_queue = (PriorityQueue of Leaf) | (PriorityQueue of Node of 'a priority_queue * ('a*int) * 'a pr
浏览 1提问于2011-12-14得票数 1
3回答
我见过很多在二进位排序树中搜索的搜索算法，但它们都使用了相同的方法:递归。我知道与循环相比递归花费很大，因为每次我们调用搜索函数时，都会为该方法创建一个新的堆栈框架，如果二叉树太大，最终会占用大量内存。
为什么我们不能像这样搜索二进制搜索树：
while (root!=NULL)
{
if (root->data==data)
return 0;
else if (data > root->data)
root=root->right;
else
root=root->left;
}
我认为这
浏览 5提问于2014-08-09得票数 0
回答已采纳
2回答
我正在使用，并使用以下命令行进行编译：
ocamlbuild -cflags -g,-I,+llvm-3.4 -lflags -I,+llvm-3.4 toy.byte
有没有办法将这些多余的cflag和lflag移到_tags或myocamlbuild.ml文件中，这样我就不需要键入它们/可以将它们存储在源代码控制中/使它们成为可重现的构建？
下面是_tags文件：
<{lexer,parser}.ml>: use_camlp4, pp(camlp4of)
<*.{byte,native}>: g++, use_llvm, use_llvm_analysis
<
浏览 3提问于2014-01-14得票数 1
2回答
在ocaml中，假设我们有：
type t = A of int | B of string
let x = [A 5; B "y"]
然后，我们可以迭代列表，并使用match语句来决定如何处理A或B。
在java中，我们可以有：
ArrayList<Object> x = new ArrayList<Object>();
x.add(new Integer(5));
x.add("y");
在数组列表迭代中，我们必须使用instanceof和downcast来处理数据。
在内部，ocaml是否将运行时类型信息作为java携带，并且类型匹
浏览 1提问于2013-01-31得票数 3
回答已采纳
在macOS高山上使用ocaml-top 1.1.5和ocaml 4.02.3：
当编译一个文件时，当函数触发(模式匹配)警告8时，警告显示为红色(在我通常使用的Windows ocaml-top版本中，它将是黄色的)；函数本身似乎是编译的，并给出了一个类型，但文件中位于它下面的函数无法编译(就好像警告是实际的编译错误一样)。
我怎么才能编译通过它呢？我失踪的案子显然是故意的。
编辑:由于没有ocaml-top特定的答案，我只是用_-> failwith "blabla"类型语句完成了所有的模式匹配。我应该使用比ocaml-top更好的东西吗?对于那些不知道包依赖等如何工
浏览 1提问于2018-05-28得票数 0
当我在交互环境( OCaml或utop)中执行以下命令时，"int“类型的所有表达式最终都是"int/2”类型。这种行为可以复制如下。
# 3;;
- : int = 3
# type int;;
type int
# type a;;
type a
# 3;;
- : int/2 = 3
有人知道为什么会这样吗？谢谢!
2020年3月2日编辑：
我发现，如果执行以下操作，"int/2“将不会出现。有人能解释一下这里发生了什么吗？
# 3;;
- : int = 3
# type int;;
type int
# 3;;
- : int = 3
更新:在上述情
浏览 3提问于2020-02-21得票数 2
回答已采纳
我想编写和编译cubes.ml，以便它封装一个OCaml函数，使JS函数可以在web中调用；2) OCaml函数和字节码仍然可以在Linux下的命令行中进行测试。
cubes.ml如下：
let () =
let oneArgument (a: int) = a + 100 in
Js.Unsafe.global##.jsOneArgument := Js.wrap_callback oneArgument;
print_string "hello\n";
exit 0
以下两个命令生成字节码T，并将T转换为cubes.js
ocamlfind ocamlc -
浏览 4提问于2016-05-19得票数 2
我写了一个函数，可以找到二叉树的高度(即从根到叶的最长路径上的节点数)。
let rec height (t: 'a tree) : int =
begin match t with
| Empty -> 0
| Node (l, v, r) -> 1 + max (height 1) (height r)
end
我相信我的函数是正确的，但是当我运行我的测试时出现的语法错误是：“这个函数应用于太多的参数；也许你忘记了一个';‘”。
这是我的测试用例
let test () : bool =
height Node(Node(Empty, 1, Empty), 3,
浏览 2提问于2013-02-02得票数 0
回答已采纳
我正在尝试做一些语言互操作的事情，并希望得到关于31b部署对OCaml开发人员社区有多重要的指导。
具体来说，对于大多数部署来说，OCaml几乎总是63 (或者至少每个JS后端是≥32 )，或者31b在野外仍然很常见。
在sizeof (void*) == 4中，我没有一台方便的机器，所以我不能在那里测试opam默认做什么。
我查看了opam的。
如果被请求使用31b个ints，或者如果体系结构有32b个字，我说得对吗？
该选项似乎与 ( 所要求的)相冲突，但我不知道这是否意味着当通过opam安装ocamlopt时，它不再可用。
浏览 14提问于2022-09-14得票数 1
在OCaml中，let f (x : 'a) : 'a list = x :: [0]有签名val f : int -> int list。
当我试图在Standard，fun f (x : 'a) : 'a list = x :: [0]中定义类似的函数时，会出现一个错误。
SML/NJ：
- fun f (x : 'a) : 'a list = x :: [0];
stdIn:2.6-2.14 Error: operator and operand do not agree [overload - user bound tyvar]
浏览 8提问于2022-08-23得票数 4
回答已采纳
3回答
在研究F#和OCaml之间的差异时，我发现他们倾向于关注和 。然后我发现了，它将类型和类型推断列为不同的特征。
由于特写文章说OCaml和F#都使用类型推断，我认为这是一个标准算法，即一个不允许变化的算法，这两个特徵是如何联系的？是否达马斯-米尔纳是构建两个类型推理系统的基础，但它们各自都基于类型来修改达马斯-米尔纳？
我还检查了F#源代码中的单词Damas，Milner和Hindley，但没有找到。搜索inference一词可以找到类型推断的代码。
如果是这样，是否有任何论文讨论了特定语言的每种类型推断算法的细节，或者我是否必须查看和的源代码。
编辑
下面是一个，它突出显示了OCaml和F#
浏览 0提问于2012-09-10得票数 8
回答已采纳
我在OCaml中搜索了GADT OCaml的概念，我们为什么需要它，以及何时使用它等等。
据我所知，GADT不仅在OCaml中，而且是一个更一般的术语。
我发现
等等，但其中一些是在Haskell，而另一些没有一个很好的比较例子，没有GADT和GADT。
所以，我想要的是一个简单而又好的具体例子，如果没有GADT，事情就很糟糕。
能给我这个吗？
浏览 11提问于2015-01-09得票数 13
回答已采纳
现在，我的ubuntu20.04停靠容器中的OCaml编译器的版本是4.08.1，但是我需要OCaml 3.12.1来构建一个项目。因此，我尝试了opam switch create 3.12.1并得到了这样一个错误：
编译ocaml编译器在“/root/.opam/opam/hooks/sandbox.sh build ./ -prefix /root/.opam/3.12.1”处失败。..。bwrap:创建新命名空间失败:不允许操作
码头集装箱运行时没有--特权选项，我想这可能是原因。但是，我已经使用这个容器很长时间了，所以很难将它提交或迁移到另一个容器中。还有其他方法来使用特定版本的O
浏览 8提问于2022-08-31得票数 0
1回答
当我将以下Coq数据类型提取到OCaml时：
Inductive Foo := | A | B.
Inductive Bar (f:Foo) := | C | D.
Extraction Language Ocaml.
Extraction "test.ml" Foo Bar.
我得到了以下ML代码：
type foo =
| A
| B
type bar =
| C
| D
“bar”类型不同于Coq的类型，因为它的类型签名中包含“f”。
定义这些类型的最佳方式是什么，以便将它们很好地提取到OCaml中？
浏览 2提问于2017-08-09得票数 4
回答已采纳
2回答
初始化变量OCaml
、、、
如何在OCaml中实现int variable;的等价物？也就是说，如何简单地声明一个变量？根据OCaml手册，似乎只能在一个步骤中声明和初始化一个变量。如果是这样，为什么这会是我们想要的行为呢？
浏览 2提问于2018-09-02得票数 1
2回答
OCaml中的FIx数据类型
、、、、
Haskell中的以下数据类型如何用OCaml或SML表示？
newtype Fix f = In (f (Fix f))
浏览 7提问于2012-10-21得票数 3
1回答
我是一名学生，我正在做一些项目，其中我需要使用ocaml编写的代码。我想用Go写一个项目。为了理解如何从ocaml中转移代码，我决定用下面的代码编写hello world - application： hello.ml let print_hello =
print_endline "Hello World";;
let () =
Callback.register "Hello callback" print_hello;
;; 接下来，我使用opam沙丘构建了一个共享库(`*.so)： $ dune build hello.so 根据这个topi
浏览 20提问于2020-03-20得票数 0
2回答
data Seq a = Nil | Cons a (Seq (a,a))
好的，这是haskell的一段声明二叉树的嵌套数据类型，
然而，在OCaml中有一个计数器部分吗？
如果是，请在OCaml代码中显示。
我已经试过了，但我想确定这是否与上面的想法相同：
type tree = Leaf of int | Node of int * tree * tree;;
let l = Leaf 3;;
let a = Node (1, l, l);;
let a = Node (1, a, l);;
let a = Node (1, a, l);;
let a = Node
浏览 2提问于2013-08-04得票数 3
回答已采纳
4回答
我喜欢F#，但有时我需要一些轻巧、跨平台、没有.NET的东西。我多次尝试使用OCamL，但似乎无法启动它。
complicatedEven Installed IDEA，补充说OCamL插件->不起作用，安装了eclipse插件，->甚至不能启动配置OCamL编译器--也是很久以前就已经尝试过NetBeans插件，但甚至无法处理。
因此，现在，我使用命令shell中的ocamlc -o "main.exe“"main.ml”和不同的灯光编辑器。我不使用Vim或Emacs，我使用的是nano，我有使用功能齐全的IDE的习惯。
我找到了各种文档(对于我来说，这看起来是启
浏览 9提问于2011-09-28得票数 21
回答已采纳
这个问题的题目是自己解释的。
在Pervasives中，compare函数是外部函数。
如果有人要求我在OCaml中实现这样的函数，该怎么办？这有可能吗？
浏览 1提问于2014-02-28得票数 1
回答已采纳
2回答
OCaml不能在签名中展开中间参数化类型有什么原因吗？
例如：
(* foo.ml *)
type 'a internal = Foo of 'a
type t = string internal
和：
(* foo.mli *)
type t = Foo of string
给一个错误。
我猜这与内存表示有时可能不同有关，但我想知道在向OCaml错误跟踪器提交错误报告之前是否有更深层次的原因……
浏览 1提问于2012-05-08得票数 3
回答已采纳
当通过esy (而不是opam)安装OCaml包时，需要哪个package.json条目来安装特定的OCaml变体，例如"4.08.0+fp+flambda“而不是"4.08.0"？ 我尝试了以下几个变体，但都不起作用： {
"dependencies": {
"ocaml": "4.08.0+fp+flambda",
...
}
} 错误消息： No package matching:
ocaml@=4.8.0+fp
Versions available:
ocaml@4.
浏览 19提问于2019-09-16得票数 1
回答已采纳
2回答
阅读caml-list上的一些旧文章，我看到了雅克·加里格斯的以下帖子：
我所关心的引述如下：
方法对任意对象的调用可能很慢。这是因为，由于子类型，在某些情况下无法知道方法在表中的位置，因此必须执行二进制搜索。
有人能解释为什么会这样吗？为什么子类型(我在本例中假设的继承)会影响到这一点？OCaml的实现是这样吗，还是其他语言也受此影响？
请告诉我关于这方面的进一步资源，谷歌让我失望了。
浏览 3提问于2012-12-09得票数 12
回答已采纳
1回答
构造器参数失配
、、
我为惰性二叉树创建了一个类型：
type 'a lBT = LEmpty | LNode of 'a * (unit -> 'a lBT) * (unit -> 'a lBT);;
并希望创建一个实例：
let exlBST = LNode(3, function() -> LEmpty, function() -> LEmpty);;
但是我收到了这个错误：
Error: The constructor LNode expects 3 argument(s),
but is applied here to 2 argument(s
浏览 1提问于2018-11-28得票数 0
回答已采纳
根据真实世界的OCaml，"abc"的类型应该是string。但实际上在我的utop REPL中，它是bytes类型的。
我已经开了Core.Std。为什么会这样呢？
( OCaml的版本是4.02.2；Core是112.24.01；utop是1.18)。
浏览 1提问于2015-07-19得票数 12
1回答
我正在尝试在Ocaml 4.02.5版本中构建一个词法分析器，我似乎不能让流类型工作，而且我几乎找不到任何对Ocaml有用的东西。我读到的大多数东西都过于复杂，没有从文件中获取char输入并对其进行词法分析的示例。
我收到的错误是在我的第一个流声明中，特定的语法位置在'[<‘部分。
open Printf;;
open Stream;;
type sign =
Plus
| Minus;;
type atom =
T
| NIL
| Int of int
| Ident of string;;
type token
浏览 2提问于2017-10-23得票数 0
1回答
当你在ocaml中输入时，有没有办法知道Ocaml中的东西是什么类型的？ 例如，在python中，如果你输入："type(3)“，你会得到int。另一个例子，如果你输入: type("hello")，你会得到字符串。 ocaml中的等价物是什么？
浏览 20提问于2021-03-23得票数 0
我想编写一个递归结构，就像我们在C中所做的那样，但是在Ocaml中。我希望我们包含一个布尔值和一个相同类型元素的递归副本列表。我如何在Ocaml中做到这一点？
浏览 0提问于2020-06-24得票数 0
1回答
在Haskell和Scala中有很多关于依赖类型的信息。对于OCaml来说，没那么多。是否有人有足够的技能在OCaml中提供如何实现这一目标的编码示例(如果有可能的话)？当然有(被抛弃的) ，但似乎不可能将这些东西合并到“常规”OCaml代码中。
基本上，我想要做的是删除像assert(n > 0)这样的代码，并在编译时检查它。
编辑
顺便提一下，值得一提的是OCaml 分支，它可以满足依赖类型系统的某些需求。然后，您将编写一个契约，而不是assert(n > 0)：
contract f = {x : x > 0} -> int
let f x = x + 1
let
浏览 2提问于2013-03-28得票数 14
回答已采纳
2回答
我想用OCaml分析OCaml文件(.ml)。我想把这些文件分解成抽象语法树进行分析。我尝试过使用camlp4，但没有成功。以前有没有其他人成功地做到了这一点？这是解析OCaml文件的最佳方法吗？
浏览 4提问于2014-04-23得票数 5
我一直在阅读有关Ocaml的稳定速度、快速原型能力和出色的内存管理的文章，并决定采用它。
因为我已经掌握了Ruby、*lisp、Haskell和Erlang，所以我特别感兴趣的是我应该在Ocaml中寻找哪些违反亲吻的特性。
如果你已经开始使用上述语言的Ocaml，摸索起来最令人沮丧的是什么？你是怎么绕过这个困难的？哪些类比帮助你融入了语言的流程？
我也有兴趣知道你是否做了比简单地学习Ocaml更多的事情，并且实际上已经转换到它来解决你的大部分编码问题。
浏览 4提问于2008-10-10得票数 9
2回答
我在试着自己去理解，OCaml语言有哪种形式的多态。
我得到了一个例子
let id x = x
这个示例不是等同于C++模板函数吗
template<class A> A id(A x) { return x; }
如果是这样，那么我的问题是: OCaml中是否还有其他形式的多态性？在命令式语言的世界中，这个概念被称为“通用算法”，而不是“多态性”。
浏览 0提问于2013-01-21得票数 3
回答已采纳
1回答
ocaml中的模块化编程
、、、
在处理ocaml项目时，我发现了一些我不太理解的东西。
假设我同时使用了OCaml标准库的Array和List模块。它们都实现了函数length，但具有不同的类型。在List模块中，其类型如下：
length: a' list -> int
在Array模块中，它的类型是：
length: a' array -> int
但是，我希望您通过open关键字在我实现的同一个模块中使用这两个模块：
open List
open Array
当我试图在列表上使用length函数时，我在编译过程中遇到了类型错误。
由于OCaml是一种强静态类型的语言，我想知道为什么编译器不知
浏览 0提问于2012-07-31得票数 5
回答已采纳
我有个难题：
let ()=
let filename = "/home/wk/prog/LocationTest/b.ml" in
Location.input_name := filename ;
let readhandle = open_in filename in
let buf = Lexing.from_channel readhandle in
Printf.printf "%d" (buf.lex_buffer_len) ;
它工作得很好
但是如果我使用Printf.printf "%d“(buf.lex_buffer_len
浏览 1提问于2018-09-20得票数 0
回答已采纳
我想对OCaml片段进行预处理，并根据特定表达式的类型对代码片段进行一些修改。例如，如果代码片段具有：
(f [1;2;3])
我将向f添加另一个参数，例如：
(f [1;2;3] [[0]])
。
但如果我看到这样的事情：
(f ["a"; "b"])
那我可能会想：
(f ["a"; "b"] [[""]])
我在看camlp4，尽管我对它不够透彻；我认为camlp4没有关于表达式的类型信息。
有什么办法我能做到吗？谢谢!
浏览 6提问于2014-11-03得票数 2
回答已采纳
4回答
我一直在阅读F#文章，它们使用单例变体来创建截然不同的不兼容类型。然而，在Ocaml中，我可以使用私有模块类型或抽象类型来创建不同的类型。在Ocaml中使用像F#或Haskell这样的单大小写变体是很常见的吗？
浏览 27提问于2021-04-26得票数 2
回答已采纳
下面的代码在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
回答已采纳
2回答
我正在阅读一些Ocaml项目的源代码，我对Ocaml很陌生，我对下面的代码感到困惑，这是.ml文件中的某种类型定义。
type event = Event.t = ..
“..”是什么意思？在代码中，我搜索了手册，但一无所获。在event.mli中，类型定义是：
type t = ..
type event = t = ..
任何帮助都是非常感谢的，谢谢。
浏览 0提问于2016-08-01得票数 1
回答已采纳
我正在尝试使用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
我喜欢在终端中使用ocaml从每个ocaml命令中获取交互结果或类型，例如：
Objective Caml version 3.11.2
# let a = 5;;
val a : int = 5
但是当有许多命令时，我们通常将所有命令放在一个像test.ml这样的文件中，然后对其进行编译。目前，我使用的是ocamlc -o test test.ml。但是当我在终端中执行test时，我看不到每个声明的类型，这是一种遗憾。
有人知道该怎么表现吗？非常感谢。
浏览 4提问于2011-06-18得票数 0
回答已采纳
当我在顶层手动输入#use "topfind" ;;时，它的工作方式如下：
#use "topfind" ;;
- : unit = ()
Findlib has been successfully loaded. Additional directives:
#require "package";; to load a package
#list;; to list the available packages
#camlp4o;; to load caml
浏览 6提问于2011-11-09得票数 4
回答已采纳
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
对象存储
即时通信 IM
腾讯会议活动推荐
腾讯云开发者
