3回答
OCaml中的用户定义打印机
ocaml、printf、pretty-print
手册上写的是%a
我不明白用户定义的打印机是干什么用的，你将如何实现和使用它。有人能解释一下动机吗?也许可以举个例子？例如，当您想要打印一个复杂的数据结构时，为什么不能直接将带有自定义函
浏览 1提问于2011-07-06得票数 8
回答已采纳
3回答
如何在顶层之外打印OCaml值？
ocaml、pretty-print
OCaml repl (“顶层”)具有丰富的打印功能，可以打印任何类型，无论是用户定义的类型还是其他类型。有没有可能在顶层之外访问这个功能，而不是必须为自己的整个类型集编写一个完全自定义的值型打印机集？
浏览 0提问于2011-09-01得票数 18
回答已采纳
1回答
Ocaml -多态打印和类型丢失
types、printing、runtime、ocaml
在print_int中有一系列的函数，比如print_endline和Printf。我不能做这样的事print n;; (* And I haven't to change `print` in case type of `n` changed *)
这是多态打印相反，我们有由程序员显式定义的类C类型。所以我认为OCaml在编译过程中丢失了类型信息，并且在运行时没有这些信息，对吗？这也是我们需要mli文件的原因吗？
浏览 0提问于2011-09-16得票数 12
回答已采纳
1回答
OCaml中的跟踪和调试
debugging、ocaml、trace
在OCaml中使用什么进行跟踪和调试？对于跟踪，我希望能够打印每个变量的数据构造函数。下面显示了一个使用Camlp4的示例： let print_colour = Red
浏览 0提问于2011-11-10得票数 9
回答已采纳
1回答
OCaml:如何确定函数参数的类型？
types、ocaml、matching
我了解到可以创建接受任意类型的函数，如下所示：但是我找不到一种方法来利用函数内部的类型信息，如下所示x : int) -> print_int x | _ -> print_string "***";;
这真的是不可能的吗如果是的话--这种限制的根本想法是什么？还是我没能正常搜索？
浏览 4提问于2014-01-07得票数 1
回答已采纳
1回答
在utop中很好地打印值
ocaml、utop
Haskell的ghci可以很好地打印属于实现Show类型类的类型的任何值。OCaml中有没有等价物可以让utop很好地自动打印用户定义类型的值？每一行都键入x |> M.to_string是相当乏味的…
浏览 17提问于2017-07-22得票数 1
回答已采纳
2回答
如何从Scala/Java执行OCaml代码？
java、scala、compiler-construction、ocaml、abstract-syntax-tree
我将在scala中为OCaml编写一个抽象语法，并结合一台漂亮的打印机。在此之后，我希望从scala执行生成的OCaml代码，并处理结果。在不运行外部OCaml编译器的情况下，是否有办法执行程序并读取stdout的结果？
浏览 5提问于2014-01-07得票数 2
回答已采纳
2回答
如何在Ocaml中打印不同类型的列表？
list、printf、ocaml
我在Ocaml中处理列表，所以我编写了一个打印列表内容的函数。下面是我的代码： let leastB = [false; true; true; true; true; false; false; false; true]in
prListB leastB;
prListInt leastI 它工作得很好，但是我是否需要为每种类型的数据都有一个新的函
浏览 69提问于2019-10-14得票数 0
回答已采纳
1回答
使用解释器的打印功能？
printing、ocaml、read-eval-print-loop
Ocaml解释器能够显示(打印)任何类型的值。例如，如果一个函数返回一个数组，它可以打印一个数组。而且，这甚至适用于自定义类型。例如，如果我这样做：然后x;；在屏幕上打印：我的问题是，我如何访问这个功能？例如，如果我正在调试一些代码，并且想要打印一些非标准对象(例如，除了int、string等)，那么我如何使用解释器使用的函数来实现
浏览 1提问于2014-04-25得票数 3
回答已采纳
1回答
我如何在函数式编程中纠正这个错误？
functional-programming、ocaml、graphviz、dot、automata
在第44行，它给出了一个类型错误，类型automate与类型formatter不兼容，我正在尝试使用graphviz绘制自动机，下面是代码：etat_initial : int;alphabets : char list;etats_finaux : int list
(*prenons une variable a1 du
浏览 3提问于2017-02-09得票数 1
2回答
OCaml :如何安装漂亮的打印机并在代码中使用？
ocaml、pretty-print
在OCaml的顶层和调试器中，可以通过install_printer printer-name注册一个漂亮的打印机。除了在OCaml代码中之外，还有什么方法可以实现同样的目的吗？更具体地说，我需要一个日志记录工具，它不需要为每个log调用显式地指定一个漂亮的打印机。
浏览 14提问于2019-01-29得票数 1
回答已采纳
1回答
我正在将几个基于OCaml的模块转换为F#，并运行到OCaml‘’Quot.add‘编译器的引号扩展程序中。
是否有人能确认F#不支持OCaml‘’引号的概念。添加‘编译器指令’或OCaml引号扩展器的概念。编辑
注意
浏览 3提问于2012-05-02得票数 4
回答已采纳
2回答
如何将Ocaml数据类型转换为xml，反之亦然？
xml、ocaml
有没有一种简单的方法可以从Ocaml数据类型转换为相应的xml表示？type B = B1 | B2
my_field: int;对于值SecondA (C {my_field=10}, "just a value")，我希望得到的值可能如下所示constructor="FirstA"> <stri
浏览 0提问于2011-03-16得票数 5
回答已采纳
1回答
在ReasonML中打印用户定义的类型
types、ocaml、reason
有没有一种简单的方法可以在ReasonML中打印用户定义的类型或嵌套列表？
背景:我正在为学生编写check expect程序，用于CS入门课程I TA，我们今年第一次使用了Reason。当check expect失败时，我想打印出预期的和实际的输出，但在事先不知道参数的类型，特别是嵌套列表和用户定义的类型的情况下，我不知道如何有效地打印结果。我目前的解决方法:我
浏览 0提问于2019-10-26得票数 2
2回答
在F#的printf中有格式说明符%A，它允许传递任何F#类型，并且它将被评估和打印。Success of 'a
显然，Result<'a>不是一个内置的类型我可以在OCaml中声明类似的类型，但Printf.printf没有等效的说明符
浏览 4提问于2017-04-13得票数 8
回答已采纳
1回答
OCaml编译器如何处理这些代码？
ocaml、ocamlbuild
我阅读了一个用OCaml编写的项目，但在这里找不到一些源代码： let rec n = {parent=n; rank=0; label=x} in这段代码是不相交集的一部分，但我并不真正理解递归函数。当我在OCaml utop中运行这段代码时，结果让我感到意外。它确实产生了许多
浏览 3提问于2013-12-13得票数 1
1回答
安装Ocaml旧版本，因为库失败
installation、ocaml、theorem-proving、opam
我很难在：中运行关于逻辑和推理的代码。因此，问题是:我如何安装该版本？我能把我的欧帕姆降级吗？或者你会推荐另一种选择。我用Mac。我尝试了opam switch create 3.09.3，并报告了以下问题：│ λ build ocaml-base-
浏览 2提问于2021-04-27得票数 1
回答已采纳
1回答
我有一个这样的格式化程序代码： let format ff x = Format.fprintf ff "%d" x 它是一个更大的模块ModuleName的一部分，其中包含许多其他函数(让我们称其中一个函数为我知道ff参数应该是输出的方向，比如说Format.std_formatter。但是，在我执行#install_printer ModuleName.format;;，然后运行类似let sum = add 1 2的命令后，我发现utop已经正确地格式化了它。OCaml<
浏览 6提问于2021-04-06得票数 0
回答已采纳
2回答
从C到Ocaml的解析
c、parsing、gcc、ocaml、llvm
我想将抽象语法树从C代码转换为OCaml值，这样我就可以用普通的OCaml程序进一步处理解析后的代码。我打算使用GCC，用钩子获取AST (在GIMPLE中)，并将GIMPLE代码转换为Ocaml。
但我想知道是否有其他方法，或者是否有人已经做了类似的事情。它是一个针对C代码的OCaml解析器，但它并不包含GCC所做的所有优化。(我尤其需要比CIL中实现的别名分析更深入的别名分析)
浏览 0提问于2011-03-04得票数 7
1回答
ocaml美工打印机(代码格式化程序)
ocaml
我正在找一个代码格式器或漂亮的打印机为ocaml。类似于go编程语言的gofmt。它最好保留注释。
我正在修改手写内容，其中一些代码的格式使得它很难阅读。
浏览 0提问于2012-10-09得票数 15
回答已采纳
云服务器
ICP备案
对象存储
云点播
即时通信 IM
腾讯云开发者
Copyright © 2013 - 2026 Tencent Cloud. All Rights Reserved. 腾讯云 版权所有
深圳市腾讯计算机系统有限公司 ICP备案/许可证号：粤B2-20090059 
粤公网安备44030502008569号
腾讯云计算（北京）有限责任公司 京ICP证150476号 | 京ICP备11018762号