1回答
Haskell的ghci可以很好地打印属于实现Show类型类的类型的任何值。OCaml中有没有等价物可以让utop很好地自动打印用户定义类型的值？
浏览 17提问于2017-07-22得票数 1
回答已采纳
我在utop中尝试过这个，但是由于我不熟悉沙丘项目，它失败了，并报告了错误。
此表达式具有int列表类型，但需要类型单元的表达式。
浏览 5提问于2022-08-26得票数 0
有没有一种方法可以在utop中打印历史列表，比如从bash调用history？我也没有在emacs中找到任何与utop-mode相关的历史环。我试着利用历史去嬉皮士-扩大在REPL中的反对。Utop似乎响应像history-prev和history-next这样的命令(来自utop.el)，但这就是我所发现的全部。
浏览 2提问于2016-12-09得票数 2
回答已采纳
我在utop中添加了require "sexplib.syntax";;和core等。如果我打字 type t with sexp在utop，上面写着
错误:未绑定类型构造函数_no_unused_valu
浏览 2提问于2014-05-07得票数 1
回答已采纳
1回答
对于单个文件可执行文件，如何在dune utop中加载它？准确地说，在目录lib和相应的dune文件中有一个库的项目上，我可以启动dune utop lib然后启动open Lib.MyModule，这将加载文件MyModule.ml。(executable (libraries ezjsonm cryptokit))let hi = "value"
其中，我希望在duneutop中从该文件
浏览 0提问于2018-11-04得票数 3
回答已采纳
1回答
= intB.mllet my_t : t = from_int 0
utop、#use "A.ml";;和#us
浏览 2提问于2017-10-24得票数 3
回答已采纳
每当我使用List.init时，我都会收到错误Error: Unbound value List.init
浏览 26提问于2019-03-05得票数 0
当我在OCaml utop中运行这段代码时，结果让我感到意外。它确实产生了许多节点。编译器如何在没有溢出的情况下处理这一问题
浏览 3提问于2013-12-13得票数 1
2回答
在ghci中，可以使用查找任何表达式的类型。例如，如果我想找出\ f g h -> g (h f)的类型，可以在ghci解释器中使用如下指令：\ f g h -> g (h f) :
浏览 1提问于2013-10-14得票数 7
回答已采纳
大多数情况下，它工作得很好，但有时一个表达式并不能匹配所有想要的字符。在测试工具中，它工作正常。下面是python代码： for m in matchs:原来的绳子..。Reg
浏览 1提问于2016-01-11得票数 0
回答已采纳
1回答
当显示长列表和其他大值时，utop会将它们封装在大约80列上，即使我的终端窗口更宽。如何更改输出宽度？我发现唯一可能提供解决方案的是UTop.size，它具有LTerm_geom.size React.signal类型，并且似乎正确地记录了我的终端窗口的大小。在本例中，我的终端窗口的维度为164x37：# #require "lambda-term";;
# React.S.value UTop<
浏览 3提问于2017-05-01得票数 2
回答已采纳
我一直试图在Ubuntu14.04上建立OCaml、OPAM、相关库和UTOP，这些都是基于真实世界OCaml的指令。我目前已经成功地安装了OCaml编译器和OPAM。但是，在尝试安装core和UTOP时，我会得到以下错误：
‘'opam安装核心utop’失败。
如果有人能就这个问题是什么以及如何解决
浏览 9提问于2016-07-31得票数 4
1回答
如何很好地打印浮点值？
、、、、
示例：1.294.322如果"，“后面没有浮点精度，我不想打印它。举个例子：
4.311是正确的，但是4.311,00是不需要的。在objective-c / iphone sdk / cocoa touch中，有没有有用的类
浏览 0提问于2009-08-24得票数 2
回答已采纳
2回答
我仍在努力理解OCaml中的价值限制，我正在阅读。在它中，(fun x -> x) (fun y -> y)不是一个语法值，同时它也声明lambda表达式应该是一个值。在OCaml中什么才是真正的句法值？我还在utop上试了一下，发现了以下几种：val x : '_a
浏览 1提问于2017-02-10得票数 2
回答已采纳
例如，在utop解释器中：utop # float_of_int 1;; Error: This expression has type int除非我不知道如何正确地浏览文档，否则我不知道该做什么。
浏览 2提问于2014-10-06得票数 3
回答已采纳
utop # let g ~y ~x = x + y ;;utop # g ~x:1 ;;utop # g ~y:2 ;;utop # g ~x:1 ~y:2 ;;utop # g ~y:2 ~x:1 ;;现在有了另一
浏览 2提问于2014-01-05得票数 6
回答已采纳
3回答
Ocaml字符
、、
在红宝石中，我可以做到以下几点：printf("%c ", 0x6B) # ┐printf("%c "("%c ", 0x71) # ─printf("%c ", 0x75) # ┤我该怎么用ocaml<
浏览 3提问于2017-01-18得票数 1
回答已采纳
1回答
简单地说，假设我有一个名为moduleExample.ml的实现文件和一个名为moduleExample.mli的目录中的接口文件。我如何将它们加载到一起，使接口moduleExample.mli中没有列出的函数被隐藏在moduleExample.ml在utop中的签名中?
浏览 4提问于2020-12-15得票数 4
回答已采纳
我用opam将Angstrom安装到我的系统中，如下所示：我还使用ocamlfind成功地编译了有关模块的项目：令人惊讶的是，我很难将Angstrom导入到utop爬虫中。像#open Angstrom这样的命令表示绑定到模块名称的值。我已经搜索了从repl导入模块的文档，但没有找到我正在寻找的结果。
从<
浏览 2提问于2016-12-31得票数 3
回答已采纳
云服务器
ICP备案
云直播
腾讯会议
实时音视频
腾讯云开发者
