键值联合函数ocaml
是一种在OCaml编程语言中使用的函数，用于将键和值组合在一起形成键值对。它可以用于创建和操作键值对的数据结构，如字典或映射。
在OCaml中，键值联合函数通常使用模块Map或Hashtbl来实现。这些模块提供了一组函数和数据结构，用于存储和操作键值对。
键值联合函数的优势在于它可以快速地查找和访问特定键对应的值。它提供了高效的数据存储和检索机制，适用于需要频繁访问和更新键值对的场景。
键值联合函数在许多应用场景中都有广泛的应用，例如：
- 缓存：可以使用键值联合函数来实现缓存机制，将计算结果与输入参数的键值对存储起来，以便在后续的计算中快速检索和重用。
- 数据库：键值联合函数可以用于实现简单的数据库，将键值对存储在内存中或持久化到磁盘上，以便进行数据的快速检索和更新。
- 分布式系统：在分布式系统中，键值联合函数可以用于实现分布式哈希表或一致性哈希环，用于在多个节点之间分配和管理键值对的存储。
腾讯云提供了一些相关的产品和服务，可以用于支持键值联合函数的实现和应用，例如：
- 腾讯云数据库：提供了多种数据库产品，如云数据库Redis版和云数据库TDSQL版，可以用于存储和管理键值对数据。
- 腾讯云分布式缓存：提供了分布式缓存服务，如云原生分布式缓存TencentDB for Redis和云原生分布式缓存TencentDB for Memcached，可以用于实现高性能的键值存储。
- 腾讯云对象存储：提供了对象存储服务，如云对象存储COS，可以用于存储和管理大规模的键值对数据。
更多关于腾讯云相关产品和服务的介绍，请参考腾讯云官方网站：腾讯云。
相关·内容
2回答
我最近才开始写OCaml代码，所以这可能是一个幼稚的question.But，我自己也搞不懂。
我在OCaml中有以下类型声明。
type myType =
| Int of int
现在我有了一个myType类型的对象。
有没有办法访问这个对象持有的int的值？如果是，是如何实现的？
浏览 2提问于2012-10-22得票数 3
回答已采纳
4回答
在OCaml中扩展现有类型
、、、、
我最近一直在做一些OCaml编程，以学习这门语言并更好地了解函数式编程。最近，我开始认为我希望能够扩展现有的类型(无论是内置的-还是我自己的类型)，例如：
type bexp =
And of bexp * bexp
| Or of bexp * bexp
| Xor of bexp * bexp
| Not of bexp;;
现在，假设我想向该类型添加一个Nop变量，但仅用于新类型-类似于继承。嘿，这些应该是代数数据类型，对吧？那么为什么不这样做呢：
type nbexp = bexp | Nop nbexp ;;
...but这不是有效的OCaml，它给出了一个语法错误。基本上，我想
浏览 0提问于2009-11-17得票数 20
回答已采纳
1回答
我想开始做一个小编译器，并构建它，我在几种不同的语言之间犹豫不决。
我的要求很简单，我希望能够发出LLVM-IR代码，因为我有一个LLVM后端，我想重用它来针对特定的平台。
所以现在我有以下选择：
使用OCaml和LLVM绑定--高效的，LLVM附带了OCaml绑定，但是使用OCaml (IDE，support)的编码经验并不是最好的。
使用C/C++和LLVM绑定--这是我想说的最明显的方式，但我想使用函数式语言，因为这个话题对我来说是新的，我想学习一些新的东西。
使用F# -我爱上了这种语言，但没有正式的LLVM绑定。所以我想我也可以通过使用System.Reflection.
浏览 4提问于2011-06-17得票数 23
1回答
我正在努力更深入地理解背后的概念。特别是，我很好奇为什么不像ML或Haskell那样提供有区别的联合(即定义几个包装零个或多个值的构造函数)，而是使用它们的记录类型和总和类型。这个决定对我来说是完全有意义的(可能是因为我更喜欢OOP而不是FP)，而且似乎可以用有区别的联合来实现所有可以完成的事情。
然而，我们能说该语言仍然支持代数数据类型吗？这不是一个实际的问题，而是一个关于术语的问题。
顺便说一句，说是的，也许它应该被纠正。
浏览 2提问于2012-03-05得票数 2
我正在学习union的OCaml，我感到很困惑。
在C中，工会是这样的。
union {
int i;
float f;
} x;
x.i = 0x27;
printf ("%f\n", x.f);
那么，在OCaml中的联合是否具有相同的目的呢？
让我们举个例子。以下是工会的定义：
我如何像上面的C示例那样使用这个联合呢？
也是为了这个
type 'a set 是的工会定义吗？type 'a set = 'a list**？怎么样？为什么？**
浏览 0提问于2013-01-09得票数 3
回答已采纳
2回答
我有一个像这样的变体类型：
type score =
InInteger of int
| InFloat of float ;;
现在，给定两个分数(InInteger(5)和InFloat(5.5))，我想将它们相加、相减等。
如何做到这一点？
PS -我是OCaml的新手。
编辑：：
更确切地说：
这是怎么回事？
let n = InInt(2);;
let m = InFloat(3.2);;
let var = InFloat(float n +. m);;
浏览 0提问于2012-02-05得票数 2
回答已采纳
3回答
我知道像Haskell这样的语言是静态类型的，并且有类型推断。但是，是否存在具有全局类型推断的非函数式语言，类似于具有类型推断和结构类型的C语言。
浏览 0提问于2012-10-27得票数 4
回答已采纳
OCaml提供了mli接口和模块化的系统。
我的问题很简单，如何从中选择？
浏览 1提问于2013-02-13得票数 2
回答已采纳
让我们暂时假设C++不是一种函数式编程语言。如果您想要使用LLVM为后端编写编译器，并且希望使用函数式编程语言及其到LLVM的绑定来完成您的工作，据我所知，您有两个选择: Objective Caml和Haskell。如果还有其他的，那么我也想知道这些。
我不是在征求主观的意见，所以请不要给这个打上subjective标签。我想对此做出自己的决定，但我不确定我是否知道所有的权衡。所以，StackOverflow来拯救你了。权衡是什么？
浏览 2提问于2009-11-21得票数 33
回答已采纳
1回答
F#新手问题。我有一份受歧视的工会名单，例如：
type Type1 = { name:string; id: int; }
type Type2 = { x: float; y: float;}
type Type3 = { x: float; naam:string}
type Union1 =
| T1 of Type1
| T2 of Type2
| T3 of Type3
let lst1 = [ T1 {name="nnn"; id=3}; T2 {x=1.1; y=1.3}; T1 {name="naam1";
浏览 0提问于2015-12-06得票数 9
我没有任何使用openGL的经验，所以也许我只是遗漏了一些东西。
我使用lablGL编写了这个ocaml代码。为了进行编译，我使用
ocamlopt -I +lablGL lablglut.cmxa lablgl.cmxa gl.ml -o gl.opt
或
ocamlc -I +lablGL lablglut.cma lablgl.cma gl.ml -o gl.byte
let keyboard ~key ~x ~y =
match key with
| 27 -> exit 0
| _ -> ignore (Printf.printf "Key:
浏览 1提问于2010-08-13得票数 5
回答已采纳
3回答
我经常读到异常有点慢，如果性能有问题应该避免(例如，在Java、F#等中)。这是否适用于Hashtbl.find等常见的OCaml函数，它们会为未找到的元素返回异常？
特别是，如果我希望我的应用程序高效，我是否应该在调用Hashtbl.find之前总是使用例如Hashtable.mem测试元素成员资格？或者，mem函数的额外比较会对性能产生负面影响吗？
浏览 4提问于2012-08-28得票数 13
回答已采纳
我目前正在使用ocaml-re，我在我的代码中看到了这一行。我想知道alt在OCaml中做什么？ let re =
let open Re in
alt [rg 'A' 'Z'; rg 'a' 'z']
|> rep1
|> group
|> compile 谢谢。
浏览 15提问于2019-06-04得票数 1
1回答
我有一个对象，它是键入的
interface formDataType {
tesla: {
made: string
},
ford: {
made: string
}
}
const formData: formDataType = {
"tesla": {
"made":"2021"
},
"ford": {
"made": "2022"
}
};
然后我有一个函数，它的参数是[string]:{mad
浏览 3提问于2022-02-12得票数 1
回答已采纳
当我学习OCaml要点时，有人告诉我，OCaml中的每个函数实际上都是一个只有一个参数的函数。多参数函数实际上是一个函数，它接受一个参数，并返回一个函数，该函数接受下一个参数并返回.
这是赛跑，我知道了。
，所以我的问题是
案例1
如果我做了
let plus x y = x + y
在OCaml内部，当它编译时，OCaml是否会将它更改为let plus = fun x -> fun y -> x + y
或者相反的情况
案例2
如果我做了
let plus = fun x -> fun y -> x + y
OCaml将把它转换为let plus x y = x
浏览 2提问于2014-12-23得票数 5
回答已采纳
1回答
从数组排序
、、
我有一个json文件。
var params = permissions.json；
[
{
"module": "h1",
"permission": "h1-menu"
},
{
"module": "h2",
"permission": "h2-menu"
},
{
"module": "h3",
"permission": "h3-
浏览 1提问于2019-12-23得票数 0
似乎很多人都在说OCaml没有很好的并发能力，也不适合web服务器应用。
我目前正在学习。现在看来，OCaml提供了并发性。
我能知道为什么OCaml的并发/线程被认为是糟糕的吗？
我可以用OCaml开发服务器应用程序吗？我可能会遇到什么问题？
浏览 1提问于2013-05-03得票数 15
回答已采纳
3回答
我想知道是否有任何高性能的序列化库(如Google protocol buffer)支持。
Sum类型是带标签的联合，基本上能够说明某事物是A、B或C。Sum类型用于支持的语言，如Haskell和ML
浏览 4提问于2012-02-21得票数 8
回答已采纳
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
3回答
说
注意，在Caml中，最好对多参数函数，而不是元组使用咖喱函数定义。
将'a -> 'b -> 'c调用约定与'a * 'b -> 'c进行比较时。
在使用SML/NJ时，我习惯了输入和输出都使用元组类型：('a * 'b) -> ('c * 'd)，因此使用元组来表示多个输入似乎与我表示多个输出的方式是对称的。
为什么推荐对元组参数进行OCaml函数声明？这仅仅是允许运行/部分计算带来的更大的灵活性，还是从OCaml编译器的实现细节中得到了其他好处？
浏览 0提问于2012-05-19得票数 12
回答已采纳
嗨，我一直在互联网上检查，以找到一种在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回答
假设我有三种类型的DU和一个接受这个DU作为参数的函数：
type A = decimal<p>
type B = decimal<p>
type C = decimal<p>
type ABC = A of A | B of B | C of C
let myfunc (val: ABC) =
match val with
| A v -> ...
| B v -> ...
| C v -> ...
是否有更好的方法来定义一个函数
浏览 3提问于2020-06-05得票数 0
回答已采纳
我从C++模板、Java泛型和C#泛型之间学到了区别，这有助于我更好地理解如何以不同的方式正确地使用它们。
类在OCaml中也可以有类型参数，参见中的“类参数和多态性”。
如果我是对的，在OCaml中，类可以显式参数化多态，而函数隐式参数多态？
为了帮助我学习在OCaml中使用泛型，哪种语言的泛型是OCaml中类似于C++、Java或C#的泛型类和函数？因为OCaml的函数是隐式参数多态的，而不是显式的，而且C++、C#和C#中的泛型函数是显式参数多态的，这一点我说得对吗？
OCaml似乎有第三个泛型：。如果我是对的，泛型模块与OCaml中的泛型类和函数是不同的。我在这里的问题只是关于类和函数
浏览 3提问于2017-09-20得票数 3
回答已采纳
我需要创建一个联盟，但联盟的两个成员将具有相同的类型，因此我需要一种方法来识别他们。例如在OCaml中：
type A =
| B of int
| C of float
| D of float
Boost.Variant似乎不支持这种情况，有没有已知的库支持这种情况？
浏览 0提问于2013-07-18得票数 8
回答已采纳
我想知道如何在Scala中合并地图。
val prevMap = Map(1-> Set("a"), 2-> Set("b"))
val newMap = Map(2-> Set("a","b"),1-> Set("c"))
val expected = Map(1->Set("a","c"), 2-> Set("a","b"))
基本上，期望的映射是newMap +添加在prev和new之间具有不同键的所有值
谢谢
浏览 1提问于2014-10-02得票数 0
这是我多年来一直在思考的一个问题，我在windows下使用OCaml，当我构建每个OCaml发行版本时，我需要一个C编译器，无论是MSVC还是MingGW，我必须在Cygwin下执行。
当我手中有我的OCaml，当我需要编译我的代码时，我也需要我用来编译我的OCaml..for的c链接器，这是非常奇怪的。为什么OCaml不能用老版本的OCaml自动引导，而用一些C编译器呢？
浏览 5提问于2018-07-23得票数 1
我有两个数组，分别包含键和值：数组1 ["key1", "key2", "key3"]和数组2 ["value1", "value2", "value3"]
使用ADF数据流表达式，我可以使用keyValues函数使用这两个数组构造键值映射：
keyValues(["key1", "key2", "key3"],["value1", "value2", "value3"])
这将返回这样的结果：
[
浏览 3提问于2022-11-16得票数 0
回答已采纳
我是OCaml的新手，最近在学习程序验证。为了实现，我需要一个Ocaml的库模块，它可以获得另一个Ocaml程序的结果。我希望这个库具有与JAVA中的ProcessBuilder相同的功能。
我想知道有没有给Ocaml的。
浏览 10提问于2019-07-24得票数 0
回答已采纳
2回答
我想编写一个模块(在Ocaml 3.12中)，它能够将变体类型定义为现有不同类型的聚合
它可以是0到N个类型，所以一个变量列表或集合
看起来可能是这样的：
type newtype = Type0 of type0 | Type1 of type1 | ... | TypeN of typeN
当然，我想要分解它的创建。
首先，我尝试创建一个由函子参数化的模块‘组合’：
module Composite ( T0 : sig type t end ) ( T1 : sig type t end ) =
struct
type t = T0.t | T1.t
end
第一个困难:如何将函子
浏览 2提问于2012-04-28得票数 1
回答已采纳
由于几个问题，我很难在Avro中推广名称空间。最近的一个问题是消息何时应该包含名称空间。我现在认为使用名称空间会因为被感知到的不一致而引起太多的麻烦。最近，我们一直在处理来自合流模式注册表的以下错误：
"error_code": 42203,
"message": "Conversion of JSON to Object failed: Failed to convert JSON to Avro: Unknown union branch id"
此错误的来源似乎是正在发送的消息中缺少命名空间标识符。
例如，在我的模式中，我有一个名为Comp
浏览 1提问于2021-09-13得票数 0
回答已采纳
2回答
我想写一个(非常小，很简单-我不知道我在做什么，让我们真实！)OCaml中的编译器。
我非常希望避免将任何ISO代码签入项目(尽管对C相当了解；这里的目标是专门学习和使用OCaml )。根据这一点，我需要用OCaml为编译语言编写一个“运行时”，将其与主项目分开编译，然后将其与编译器本身的输出链接起来。
不幸的是，它看起来像任何外部函数--即使是那些不接触任何OCaml数据的函数--结构/ OCaml堆，预期将使用OCaml的C宏构建：
CAMLprim value scheme_entry(value unit) {
int i;
i = 42;
return Val
浏览 2提问于2017-10-04得票数 3
我对ocaml有问题，我是ocaml的初学者。我想使用#load "....ml“。然后打开"....ml“。
当我使用emacs时，这是可以的，但我目前使用的是带有ocaml编译器的linux，当我尝试使用#load和open时，我有一个语法错误。
我已经查看了网页，如果我不需要使用'#‘在加载之前，但我也有一个语法错误。
使用Emacs的代码示例：
#load "list_ap1.cmo"
open List_ap1;;
在liste_ap1.cmo中有什么
module List_ap1 =
struct
let len(l) = Li
浏览 1提问于2018-10-18得票数 2
回答已采纳
1回答
我正在尝试为amqplib npm包编写一个reasonml绑定：
特别是这个函数：
class type amqpMessageT = [@bs] {
pub content: nodeBuffer
};
type amqpMessage = Js.t(amqpMessageT);
type gottenMessage = Js.Nullable.t(amqpMessage);
type qualifiedMessage = Message(gottenMessage) | Boolean(bool);
class type amqpChannelT = [@bs] {
浏览 25提问于2018-07-18得票数 2
回答已采纳
3回答
我对OCaml非常陌生，尤其是对js_of_ocaml编译器而言。
是否有人用js_of_ocaml编译了使用Jane Street的应用程序？在编译过程中，我会收到许多“缺少原语”的警告，然后当我尝试使用node运行它时，它们会变成一个实际的异常。
我知道，这些原语不能从OCaml移植到JS，它们的实现应该依赖于应用程序，但是对于核心，实际上有数千个原语，而我的程序只使用输出到stdout。
另外，我甚至很难编译一个简单的"hello world“项目，因为IO函数没有在JS中实现。是否有一个“标准”JS文件可用于此目的？例如，用caml_ml_output_char和其他东西代替c
浏览 5提问于2014-02-05得票数 6
回答已采纳
例如,
(*) 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项目中有一个帮助函数，它可以帮助将一个列表追加到另一个列表中，而不需要重复元素。例如，将list x: [d, e, f, g]追加到list y [a, b, c, d]，则结果应为a，b，c，d，e，f，g
我写的函数是这样的：
(* helper function checks if list contains element *)
let rec find e l =
match l with
[] -> false
|(h::t) -> if (h = e) then true else find e t
浏览 2提问于2012-04-23得票数 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
回答已采纳
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
回答已采纳
10回答
例如，在Java中有和。它们本质上都提供了一个小API，用于操作高阶的curried函数，也许还提供了一些新的数据类型(元组、不可变列表)。
浏览 1提问于2008-09-17得票数 14
回答已采纳
我想知道编译成js_of_ocaml的库(而不是可执行文件)的dune文件是什么样子的，为什么建议使用可执行文件呢？
浏览 9提问于2019-01-15得票数 2
回答已采纳
1回答
使用对用C编写的外部函数的多次调用会影响OCaml程序的性能吗？
例如，让我们假设我想要创建一个函数，它使用列表中的前一个值来创建一个浮动列表来计算下一个迭代。出于某种原因，我希望这个函数来自cstub。
无论是用C编写所有东西，还是将C外部函数与我的OCaml代码混合在一起，都会对性能有什么影响吗？
我想这个问题与编译时的实际情况有关：
ocamlc -o hello.byte -c hello.cma cstub.o
换句话说，做以下事情之间有什么实质区别吗？
external next_iter: float -> float = "next_iter"
let m
浏览 0提问于2017-08-15得票数 0
回答已采纳
我是第一次探索ReScript。我想使用一个记录类型作为我的键类型来构建一个散列映射，并且我正在寻找关于实现散列函数的指导。 下面是我的ReScript代码： type pointer = { id: string, table: string, spaceId: option<string> }
module PointerHash = Belt.Id.MakeHashable({
type t = pointer
let hash = a => 0 /* How do I implement this? */
let eq = (a, b) =>
浏览 32提问于2021-05-09得票数 2
3回答
大家好，
我正在用OCaml开发一个小小的业余爱好项目。我想知道把它移植到F#有多容易。我知道F#有一些OCaml没有的特性，但我希望我的OCaml代码可以轻松移植。我不一定想迁移，我想在两个平台上都保留/开发。
提前谢谢你，迈克尔
浏览 0提问于2010-11-22得票数 18
2回答
最近，我正在读一些有关Haskell的函数式编程书籍。
例如，Haskell似乎很喜欢“模块化程序”，
f :: (Integer,Integer) -> Integer
f = sum . map sq . filter . odd . between
即使相同的函数可以编写成
f' (m, n) = go m
where go m | m > n = 0
| otherwise = go (m + 1) + if odd m then sq m else 0
“融合定律”也很受欢迎和使用()
我不是OCaml专家，但如果可能的话，我会使用
浏览 2提问于2014-01-09得票数 4
回答已采纳
1回答
在核心库中有一个Linux_ext.get_ipv4_address_for_interface函数，它返回分配给特定网络接口的IP地址。是否有一种简单的方法只使用标准库而不使用fork来读取ifconfig或ip addr show的内容？
浏览 2提问于2016-10-17得票数 1
回答已采纳
我理解断言的价值
[<StructuralEquality;StructuralComparison>]
这会静态地强制从结构上派生相等和比较约束，并在无法派生时产生很好的副作用来警告
类似地，[<ReferenceEquality>]强制使用reference来满足相等约束。
最后，NoComparison, NoEquality静态地不满足这些约束，同时也具有捕获错误的好处。
然而，我不确定CustomEquality, CustomComparison的附加值是什么。
静态声明你将做一些自定义的事情有什么附加值？
浏览 2提问于2013-05-17得票数 1
回答已采纳
我正在构建一个JavaScript库，它是用Ocaml实现的，并使用编译成JavaScript。
我的一个Ocaml函数返回一个包含二进制数据的string。如何使用js_of_ocaml将其作为ArrayBuffer公开
浏览 3提问于2018-09-17得票数 5
1回答
我们可以使用包装JS函数，从而在OCaml中调用它。当JS函数是异步的(包括承诺和花费时间)时，我不能做一个工作示例。
我想包装的异步JS函数JSfun如下所示。变量x在2秒后被设置为"here"，这是我想返回的值。
function JSfun() {
var x = "before";
return new Promise(function(resolve, reject) {
setTimeout(function() {
append("inside setTimeout");
x = "h
浏览 2提问于2016-07-13得票数 0
回答已采纳
我目前正在努力学习OCaml。我正在搜索与这个python代码相当的代码：
f(*l[:n])
我想我应该尝试编写一个类似于这种行为的函数，但是它不起作用。以下是代码：
let rec arg_supply f xs n =
if n = 0 then
f
else
match xs with
| x :: remainder -> arg_supply (f x) remainder (n - 1);;
下面是我得到的错误信息：
Error: This expression has type 'a but an e
浏览 2提问于2016-09-10得票数 3
下面的代码在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
回答已采纳
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
对象存储
即时通信 IM
实时音视频活动推荐
腾讯云开发者
