在OCaml中漂亮地打印Hashtbl以使用ppx派生
，可以使用ppx_deriving库来自动生成漂亮打印Hashtbl的代码。ppx_deriving是OCaml中的一个代码生成器，用于自动生成常见的代码片段，例如比较、字符串表示等。
Hashtbl是OCaml中的一个哈希表实现，用于存储键值对。要漂亮地打印Hashtbl，我们可以使用ppx_deriving库中的@deriving show属性。
首先，确保你已经安装了ppx_deriving库，可以使用opam命令进行安装：
opam install ppx_deriving接下来，在你的OCaml文件中，添加以下代码：
open Ppx_deriving_std
type key = int
type value = string
type my_hashtbl = (key, value) Hashtbl.t [@@deriving show]在上面的代码中，我们定义了一个key类型和一个value类型。然后，我们使用[@@deriving show]属性为my_hashtbl类型生成打印代码。
使用ppx_deriving生成的代码，可以通过调用show_my_hashtbl函数来打印Hashtbl的内容。例如：
let () =
let tbl = Hashtbl.create 10 in
Hashtbl.add tbl 1 "value1";
Hashtbl.add tbl 2 "value2";
print_endline (show_my_hashtbl tbl);以上代码会输出类似于[(1, "value1"); (2, "value2")]的打印结果。
推荐的腾讯云相关产品和产品介绍链接地址：
- 云服务器（CVM）：腾讯云提供的弹性计算服务，可轻松创建、部署和管理云服务器。产品介绍链接：云服务器（CVM）
- 云数据库MySQL版：腾讯云提供的高可用、可扩展的云数据库服务，适用于各种业务场景。产品介绍链接：云数据库MySQL版
- 云存储（COS）：腾讯云提供的安全、低成本、高可靠的对象存储服务，适用于各种数据存储需求。产品介绍链接：云存储（COS）
请注意，上述推荐的产品和链接仅供参考，可能会根据实际需求进行选择。
相关·内容
1回答
有没有一种简单的方法可以在ReasonML中打印用户定义的类型或嵌套列表？
背景:我正在为学生编写check expect程序，用于CS入门课程I TA，我们今年第一次使用了Reason。当check expect失败时，我想打印出预期的和实际的输出，但在事先不知道参数的类型，特别是嵌套列表和用户定义的类型的情况下，我不知道如何有效地打印结果。
我目前的解决方法:我已经写出了一个不同的检查预期过程，这取决于它们接受的类型(例如，checkExpectListLists，它映射每个嵌套列表并递归打印参数。)
潜在的帮助:即使使用用户定义的类型，Sketch.sh也能够计算并打印出函数调用的结果。
浏览 0提问于2019-10-26得票数 2
我已经通过opam将eliom更新到最新版本(5.0.0)，但更新失败。我用4.02.1和4.02.3编译器都试过了，但它不能编译基本的eliom：
eliomdep -client -ppx -package lwt.ppx -package js_of_ocaml.deriving.ppx -package js_of_ocaml.ppx mysite.eliom > _deps/mysite.eliom.client
Fatal error: exception Fl_package_base.No_such_package("js_of_ocaml.deriving.pp
浏览 6提问于2016-02-05得票数 1
2回答
我正在尝试运行js_of_eliom，但它似乎没有ppx_deriving --这是我做make时得到的信息：
js_of_eliom -ppx -c -package lwt -package js_of_ocaml.deriving -package js_of_ocaml.ppx simple_pomodoro.eliom
Fatal error: exception Fl_package_base.No_such_package("js_of_ocaml.ppx", "")
make: *** [_client/simple_pomodoro.cmo]
浏览 7提问于2016-04-07得票数 1
3回答
我正在写我的第一个ppx扩展。其思想是支持多态print函数，类似于Haskell中的show。
(我知道还有其他更健壮的解决方案，但我希望了解更多关于这一点的知识。)
我所采用的方法非常类似于描述的方法:我有一个映射器，它查找%[print <expr>]标记，然后用<expr>的字符串表示来替换它们。例如,
[%print 1] ==> string_of_int 1
[%print "aksljd"] ==> "aksljd"
对于常量表达式来说，这很好，但是我想支持任何替代<expr>的任意表达式。它应该用
浏览 9提问于2015-08-24得票数 3
回答已采纳
我有下面的OCaml文件，它在没有ppx的情况下正确编译，并在这个dune文件中失败
(library
(name so_proj)
(preprocess
(pps
ppx_inline_test
ppx_deriving.show
ppx_deriving.ord
ppx_deriving.map
ppx_deriving.eq
ppx_deriving.fold
ppx_deriving.iter)))
并与之合作
(library
(name so_proj))
错误是
File "SO_naming_existential.
浏览 2提问于2022-01-29得票数 1
1回答
在我的~/.ocamlinit中，我有一些指令：
#use "topfind"
#thread
#require "core.top"
因此，每次启动OCaml toplevel (即ocaml)时，我都会得到一堵巨大的文本墙：
OCaml version 4.02.3
Findlib has been successfully loaded. Additional directives:
#require "package";; to load a package
#list;;
浏览 4提问于2018-04-04得票数 2
回答已采纳
1回答
我正在处理OCaml中的一个解释器任务，在这个任务中我必须绑定值。例如，我可能想要将值"A“绑定到值3。
我正在尝试使用ocaml中的哈希表模块来方便存储和查找，但似乎存在与作用域和返回类型相关的多个问题。
我想做的是，当从堆栈弹出的第二个值的类型是name时，我想将NAME绑定到第一个弹出的值，然后将UNIT附加到堆栈。不幸的是，由于某些原因，我的解决方案不起作用。有谁可以帮我？
open Hashtbl;;
let bound_values = Hashtbl.create 123456
type stackVal =
INT of int
| S
浏览 1提问于2018-11-19得票数 0
请告诉我为什么这段代码不编译。我正在尝试使用ppx_deriving库打印抽象语法树。
type prog = command list
[@@deriving show]
and command =
| Incv | Decv
| Incp | Decp
| Input | Output
| Loop of command list
[@@deriving show]
let _ = Format.printf "%s" (show_prog ([Incv, Incv]))
hello:brainfuckinter mukeshtiwari
浏览 1提问于2015-07-24得票数 5
回答已采纳
2回答
在许多使用ReasonML的项目中，经常使用缩写PPX，但很少解释。
PPXes是什么？
为什么ReasonML需要他们？
浏览 3提问于2020-06-23得票数 2
回答已采纳
1回答
我试图找出为什么这不工作，我得到了错误:语法错误。我在什么地方漏掉了一个";“？
let way_tags_to_hashtbl way =
let hashtbl = Hashtbl.create 1 in
let rec way_tags_to_hashtbl_partial list = match list with
| a::list' -> Hashtbl.add hashtbl (a.k, a.v); way_tags_to_hashtbl_partial list'
| a::[] -> Hashtbl.add has
浏览 2提问于2012-01-04得票数 1
回答已采纳
我正在研究Real，并在下面的代码中得到了一个语法错误：
`# module Logon = struct
type t =
{ session_id: string;
time: Time.t;
user: string;
credentials: string;
}
with fields
end;;
在运行时，Utop在单词"with“下划线，并抛出一个语法错误。我自己尝试过类似的、更简单的例子，并得到了相同的错误。对发生了什么事有什么想法吗？
编辑:省略"}“添加。
浏览 0提问于2016-04-30得票数 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
回答已采纳
最近，OCaml官方github宣布Camlp4被ppx rewriters and extension points ()取代：
Camlp4在4.01.0版之前一直是官方OCaml发行版的一部分。从那时起，它被一个更简单的系统所取代，它更易于维护和学习: ppx重写器和扩展点。
我一直在使用Camlp4为DSL编写解析器(语法与OCaml分离)。
那么，我想问一下，ppx rewriters工具是否可以做同样的事情？
谢谢你抽出时间阅读我的问题！
浏览 0提问于2016-06-14得票数 9
回答已采纳
3回答
我经常读到异常有点慢，如果性能有问题应该避免(例如，在Java、F#等中)。这是否适用于Hashtbl.find等常见的OCaml函数，它们会为未找到的元素返回异常？
特别是，如果我希望我的应用程序高效，我是否应该在调用Hashtbl.find之前总是使用例如Hashtable.mem测试元素成员资格？或者，mem函数的额外比较会对性能产生负面影响吗？
浏览 4提问于2012-08-28得票数 13
回答已采纳
1回答
我需要使用ppx_jane将OCaml源文件解析为类型化的AST，并且我相信ppx_jane是完成这项工作的正确包。使用opam安装后，我仍然不知道有哪些功能可用。
这是opam上ppx_jane包的。除了基本信息和依赖关系之外，它不会提供更多信息。
虽然我可以在Github上搜索，看看其他程序员是如何调用这个包提供的函数的，但我仍然无法获得所有可用函数的详尽列表。
浏览 34提问于2017-03-06得票数 1
因此，我为OCaml编写了一个简单的PPX，它将一个愚蠢的DSL转换为一些库调用
[%jsx div]
变得有点像
ReactJS.create_element "div"
但是，每当我试图编译它时，我都会得到“Unbound ReactJS.createElement”。但奇怪的是，如果我让它输出转换后的代码，然后将该代码直接复制到文件中，它就会编译得很好。
是否需要将PPX语法扩展链接到它们生成的AST引用的任何库？我是不是漏掉了什么很傻的东西？
我使用以下简单的ocamlbuild命令构建我的项目：
ocamlbuild -use-ocamlfind \
-pac
浏览 1提问于2016-04-07得票数 2
回答已采纳
在OCaml中，Hashtbl可以将任何东西转换为int。
Hashtbl.hash x将非负整数与任何类型的值关联。保证了如果x= y或Pervasives.compare x= 0，则散列x=散列y，而且哈希总是终止，即使在循环结构上也是如此。
我的意思是，在Java中，每个返回整数的对象都有hashCode()，而Java的Hashtable可以散列这个整数。
但是OCaml是如何做到这一点的呢？
浏览 1提问于2013-03-22得票数 5
回答已采纳
我正在OCaml中学习“回忆录功能”的概念，并试图自己实现。
下面是我写的代码：
type 'a memo_type = Value of 'a | Exn of exn
let memo_func_hash_exp f =
let cache = Hashtbl.create 10 in
fun v ->
try
match Hashtbl.find cache v with
| Value r -> r
| Exn e -> e
with
| Not_found ->
浏览 3提问于2014-10-21得票数 0
回答已采纳
我有一个返回列表中最常见元素(特别是字符值列表)的计数的方法。
下面是我的代码：
let getMostFrequentCharCount li =
let hashTable = Hashtbl.create (List.length li)
in
let rec getMostFrequentCharCount li acc =
match li with
[] -> acc
| head::tail ->
(match (Hashtbl.find hashT
浏览 0提问于2020-10-22得票数 0
假设我正在建立一个记录类型：
type thing {
fruit: string;
}
但是我希望fruit的可能值被约束为一组固定的字符串。
在OCaml中将其建模为一个变体似乎是很自然的，例如：
type fruit = APPLE | BANANA | CHERRY
type thing {
fruit: fruit;
}
好的，到目前为止。
但是，如果我对这些类型使用[@@deriving yojson]，那么序列化的输出将类似于：
{ "fruit": ["APPLE"] }
默认情况下，Yojson希望将变体序列化为[<name&g
浏览 5提问于2021-06-06得票数 0
回答已采纳
假设我有一些像“føbór”这样的输入词，我想要一个字母频率的哈希表。f→1，ø→2 -如何在OCaml中执行此操作？
示例仅适用于ASCII码，而并没有说明如何从字符串实际创建BatUTF8.t。
浏览 0提问于2014-10-09得票数 3
现在，我尝试使用ocamlfind和一些包编写编译器，特别是使用opam的ppx_sexp_conv。
ppx_sexp_conv的依赖关系某种程度上需要compiler-libs，因此在ocamlfind ocamlc -package ppx_sexp_conv编译文件时添加了编译选项-I ~/.opam/VERSION/lib/compiler-libs。
问题是，compiler-libs包含非常常见的名称文件，如parsing.cmi、main.cmi、lexing.cmi。
这就产生了.cmi文件的冲突，并发出了以下许多噪音警告：
$ ocamlfind ocamlc -pack
浏览 0提问于2016-07-10得票数 5
回答已采纳
我正在尝试派生一个描述结构化数值的Graphviz文件。这是为了诊断目的，所以我希望我的图形尽可能接近内存中的实际结构。我使用下面的代码将值映射到Graphviz顶点，这样当一个值有两个或多个入站引用时，我就可以重用一个顶点：
let same = (==)
module StateIdentity : Hashtbl.HashedType = struct
type t = R.meta_t state
let hash = Hashtbl.hash
let equal = same
end
module StateHashtbl = Hashtbl.Make (StateI
浏览 3提问于2012-10-24得票数 8
回答已采纳
我正在尝试使用，它要求在它称为"atd文件“中定义要转换为JSON的OCaml对象的类型。
因此，对于Hashtbl.tatdgen，生成如下代码：
type ('a, 'b) bucketlist =
| Empty
| Cons of 'a * 'b * ('a, 'b) bucketlist
type ('a, 'b) tbl = ('a, 'b) Hashtbl.t = {
mu
浏览 4提问于2015-03-11得票数 1
回答已采纳
1回答
我有一个很大的数据库。我想将15万条记录嵌入到名为OCaml的compute.ml源代码中。我正在尝试(没有成功)将这些表转换成哈希表，并将这些hastable嵌入到函数compute中，这样二进制程序就可以正常运行，而不必对外部sql数据库执行查询。
我有两个问题：
是否有一次将mysql表导出到关联数组(Hashtbl)中的方法，该数组可以被(甚至嵌入)我的OCaml函数compute (本身编译并作为二进制文件使用)访问？
此哈希表是永久加载在函数中，还是每次在二进制文件中调用该函数时都重新启动？
我有一个包含142741条记录的mysql表，这些记录以CSV格式导出，如
浏览 5提问于2012-09-10得票数 2
回答已采纳
在运行包含大量输入文件的ocamldep时，我遇到了臭名昭著的Argument list too long错误。
这个问题只有在使用原生Windows OCaml编译器+ Cygwin时才会发生:在这种配置中，ARG_MAX返回32000，一个非常低的值，我相信这是由Windows本身施加的限制，而不是Cygwin。
对于这种错误，通常的解决方案是使用xargs，如果我们可以拆分参数的话，比如使用ls或rm时，但我不知道它如何与ocamldep一起工作。由于它希望所有文件都在命令行中同时给出(以正确计算依赖关系)，并且似乎没有提供文件中的文件列表的选项(就像在-f filelist.txt中一
浏览 1提问于2015-10-10得票数 1
安装npm和node后，用js_of_ocaml编译OCaml文件会出现错误，因此我做了opam switch reinstall system
:testweb $ opam switch reinstall system
Your system compiler has been changed. Do you want to upgrade your OPAM installation ? [Y/n] y
=-=- Upgrading system -=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=
[WARNING] b
浏览 0提问于2016-05-16得票数 4
回答已采纳
1回答
有一个函数assert_equal，它可以(除其他外)接受一个参数pp_diff，它以更易读的方式格式化两个输入的差异。由于实际应用程序中的数据结构越来越大，这似乎非常有用。
然而，手动实现这一点似乎也相当繁琐(特别是在开发期间，数据结构可能经常发生变化)。所以我想知道是否有任何方法(最好是基于ppx的)来生成这样的函数？
如果在OCaml中还没有这样的东西，那么通常的嫌疑人(例如Haskell、Lisp)中是否有任何相关的东西可以移植，甚至只是用来作为灵感(因为我对如何开始这样的实现甚至没有任何提示)？换句话说:如何为相互递归的功能数据结构生成有意义的差异--漂亮的打印机？
浏览 2提问于2016-01-15得票数 4
回答已采纳
给出如下所示的语法扩展
let a = [%jsx div className="hello"]
我有一个PPX把它转换成(就像)
let a = ReactJS.create_element "div" ~props:(object%js val className = "hello" end)
我需要OCaml来转换js_of_ocaml提供的%js语法扩展。
但是，从外观上看，PPX扩展部分只对源进行了一次传递，而不递归地应用它。
是否有可能做到这一点？还是我需要尝试导入js_of_ocaml PPX并在我自己的内部运行它？还是在我自己的代
浏览 3提问于2016-04-11得票数 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
1回答
我正在将我的应用程序从OCaml 4.02.3移植到4.03.0。
假设您在lexer.ml中有以下内容
type t = T [@@deriving sexp]
let () =
sexp_of_t |> ignore;
print_endline "hai"
我试着运行如下：
ocamlbuild -use-ocamlfind -pkg ppx_sexp_conv -cflags '-w @a-4-31' lexer.byte --
但我得到了以下错误：
Warning 31: files lexer.cmo and /Users/vladi
浏览 6提问于2016-05-24得票数 2
根据我到目前为止观察到的情况，带有可变字段的记录的行为就好像它们总是通过引用传递一样。例如，如果我将记录传递给函数或将其存储在数据结构中，则记录不会在进程中被复制。例如，这段代码：
type t = {
mutable t_val: int
}
let () =
let ht = Hashtbl.create 16 in
let x = { t_val = 42 } in
Hashtbl.replace ht "x" x;
x.t_val <- 43;
let x2 = Hashtbl.find ht "x
浏览 2提问于2017-03-16得票数 2
回答已采纳
我试着用OCaml做一些线性代数计算。并且我已经安装了Lacaml包。知道slap包对用户更友好，我决定使用这个包而不是Lacaml。我确实通过输入"opam install slap“成功地安装了slap包。但是，当通过键入"ocamlfind ocamlc -linkpkg -package slap,slap.ppx -short-paths jacobi.ml“编译文件时，错误
"ocamlfind: Package `slap_ppx' not found"
发生了。我已经尝试了很多，但还是做不到。我已经尝试过手工制作包裹。但是有一个问题叫做
浏览 1提问于2015-09-16得票数 0
它在utop中非常好地使用#require "ppx_jane“，但是我在沙丘文件中添加了(preprocess (pps ppx_jane))，如下所示：
(library
(preprocess (pps ppx_jane))
(name raftml)
(modules raft rpc types)
(libraries
core
core_unix
proto
grpc
grpc-lwt
ocaml-protoc
lwt
lwt.unix
h2
h2-lwt-unix
domain
浏览 15提问于2022-11-29得票数 0
回答已采纳
函数"good-red“用于从文件ssqHitNum.txt中计算出18个最高频率的数字。
(defun good-red ()
(let ((tab (make-hash-table)) (res '()) (nums) (sort-res))
(dotimes (i 33) (setf (gethash (+ i 1) tab) 0))
(with-open-file (stream "ssqHitNum.txt")
(loop :for line = (read-line stream nil)
:
浏览 3提问于2011-11-08得票数 2
回答已采纳
3回答
我是OCaml的新手，我正在尝试使用(:P) Facebook的原因语法。我找不到编译的方法，因为如果找不到Core模块(已经与opam一起安装)。
我正在尝试编译一个来自真实世界OCaml的示例程序
open Core.Std;
let rec read_and_accumulate accum => {
let line = In_channel.input_line In_channel.stdin;
switch line {
| None => accum
| Some x => read_and_accumulate (accum +.
浏览 0提问于2016-05-29得票数 7
我试图用 3.10在运行Ubuntu的机器上编译OCaml，我不能升级操作系统，也不能更新OCaml，我对OCaml一无所知。只有一行未绑定值错误，因为它使用了new_line函数，这是OCaml 3.11 ()中引入的，有人能告诉我如何将其更改为与OCaml 3.10兼容吗？这是这段代码末尾的一行：
{
open MnParseTypes;;
open MnParser;;
(* Raised when parsing ends *)
exception Eof;;
module L = Lexing
let linenum lexbuf = lexbuf.L.lex_curr_p.L.p
浏览 0提问于2013-05-12得票数 1
回答已采纳
我正在试图找出如何传递一个可执行文件的位置，以便作为ppx过滤器运行到OCaml编译器ocamlc/ocamlopt中。
我的问题基本上是
ppx过滤器应该采用什么格式作为输入？
预计会产生什么结果？
特别是在cppo的情况下，如何配置它以接受所需的格式并发出所需的格式？
为什么cat不能作为“身份筛选器”使用任何过滤器产生相同的结果？
例如，这里有一个简单的OCaml程序。
(* foo.ml *)
let hi = ();;
Printf.printf "hi there\n"
使用一个非常简单的过滤器cat，我们可以看到过滤器作为输入应该处理什么
浏览 1提问于2018-03-31得票数 0
回答已采纳
2回答
let定义系列
、、
我是OCaml的初学者，我对一系列的let有问题，比如：
let x = myFun y in
let z = myFun x in
...
但是，在let之间，我使用了Hashtbl.iter和其他返回单位的函数。如果我这样做了：
let x = myFun y in
Hashtbl.iter (...) ...
let z = myFun x in
...
编译器会引发一个错误。但是，如果我这样做了：
let x = myFun y in
let h = Hashtbl.iter (...) ...
let z = myFun x in
...
编译器不会引发任何错误，只是显示从未使用过&
浏览 2提问于2013-04-05得票数 3
回答已采纳
在一个辅助函数中，我正在进行模式匹配来修改数据结构。我想修改数据结构，然后返回修改后的数据。在我的方法中，返回类型是unit()。我需要它返回修改后的hash_table。 我试过了： let helperfunction firstlist secondlist hash_table =
match(firstlist, secondlist) ->
| (CUSTOMTYPE::tail, CUSTOMOBJA(a)::CUSTOMOBJB(b)::anotherTail) -> Hashtbl.add hash_table "key
浏览 7提问于2021-04-29得票数 0
回答已采纳
我正在尝试编写一个函数来利用递归fibonacci函数中的回忆录，并将输出作为字符串返回。
我的当前代码如下：
let cache = Hashtbl.create 100;;
Hashtbl.add cache 0 0;;
Hashtbl.add cache 1 1;;
let rec f(n:int): string =
match Hashtbl.mem cache n with
| true -> Hashtbl.find cache n
| false ->
let result = (f (n - 1)) + (f (n - 2)
浏览 15提问于2022-11-10得票数 0
3回答
我有一个列表列表，例如[1;2;3;2;3;4;5;6；7;8;9;10我想把它们放在一个Hashtbl中，其中键是列表的长度，值是列表的列表，它包含给定长度的所有子列表。
因此，对于上面的示例，散列将如下所示
Key Value
1 [[2]]
3 [[1;2;3]]
4 [[3;4;5;6];[7;8;9;10]]
此外，我还试图跟踪最长列表的长度，该数字是函数返回的值
执行此操作的代码如下所示。
let hashify lst =
let hash = Hashtbl.cre
浏览 3提问于2012-02-16得票数 4
回答已采纳
这是我的ocamlinit：
(* Added by OPAM. *)
let () =
try Topdirs.dir_directory (Sys.getenv "OCAML_TOPLEVEL_PATH")
with Not_found -> ()
;;
(* ## added by OPAM user-setup for ocamltop / base ## 3ec62baf6f9c219ae06d9814069da862 ## you can edit, but keep this line *)
#use "topfind";;
(*
浏览 24提问于2016-12-28得票数 2
如何使用ppx与to_string一起导出数据类型的方法
例如，我试图使用来派生数据类型的show_*方法。我有一个简单的main.ml文件，如下所示：
open Core
type foo = Bar | Baz
[@@deriving show]
let () = printf "%s\n" (show_foo Bar)
我在同一个目录中有一个jbuild文件，如下所示：
(jbuild_version 1)
(executables
((names (main))
(libraries (core ppx_deriving))
(preprocess
浏览 1提问于2017-08-28得票数 4
回答已采纳
我正在尝试理解如何在Ocaml中使用哈希表实现尝试。这是W06 04摘录自MOOC在中的“函数式编程入门”(Introduction to Functional in OCaml)。
如果有人能帮助我理解如何使用命令式哈希表实现递归尝试，我真的很感激。
课程已经结束了，我只想明白。
这就是我正在尝试的(给出了模块GenericTrie和Trie模块的模板，我们必须实例化Hashtbl.Make函子并实现空、查找和插入)：
module type GenericTrie = sig
type 'a char_table
type 'a trie = Trie of
浏览 3提问于2017-05-03得票数 1
回答已采纳
我的问题类似于，但是，在我的例子中，.ocamlinit是设置的。
这是我的ocaml版本。
mymac:Desktop myusr$ ocaml --version
The OCaml toplevel, version 4.08.1
这是我的opam版本。
mymac:Desktop myusr$ opam --version
2.0.5
这是我的opam开关。
mymac:Desktop myusr$ opam switch
# switch compiler description
→ 4.08.1 ocaml-base-compile
浏览 1提问于2019-09-17得票数 4
回答已采纳
假设我有许多模块，它们都是用一种模块类型参数化的，并且彼此之间也有依赖关系：
module type AT = sig
end
module B(A: AT) = struct
module Hash = struct
type t = int
let equal b1 b2 = b1 = b2
let hash b = b
end
end
module C(A: AT) = struct
module B = B(A)
module Hashtbl = Hashtbl.Make(B.Hash)
let make () = Hashtbl.
浏览 2提问于2018-02-09得票数 2
我试图通过ppx派生在OCaml中漂亮地打印包含哈希表(使用基础标准库)的自定义记录类型，但我需要实现Hashtbl.pp才能使其工作。 我尝试在网上查看示例，我找到的最好的示例是https://github.com/ocaml-ppx/ppx_deriving#testing-plugins，但我仍然收到奇怪的类型错误，如“此函数的类型为Formatter.t -> (string，Value.t) Base.Hashtbl.t -> unit.它应用于太多参数；可能您忘记了一个`;'” 如何使用pp函数扩展Hashtbl模块？ 到目前为止，我的代码如下(Value.t
浏览 14提问于2020-01-15得票数 3
回答已采纳
2回答
我想知道如何定义一个空的！OCaml中的Hashtbl类型的全局变量？我不想使用Hashtbl.create，因为我不知道它的初始大小，而且出于性能原因，我不想猜测它的初始大小。
基本上，这个Hashtbl变量将被赋值为函数中的一个真正的Hashtbl，然后这个变量将在其他函数之间共享，所以我不想一直将它作为参数传递，因此我希望它是全局的。
谢谢,
斯帕斯基
浏览 1提问于2009-12-29得票数 5
回答已采纳
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
实时音视频
对象存储
云直播活动推荐
腾讯云开发者
