1回答
我正在定义一个新类型，它基本上是一个字符串。如何打印值？# type mytp = Mytp of string;;# let x = Mytp "Hello Ocaml";;# print_endline x;;
Error: This expression has type mytp but an expression was还有另一个类似
浏览 17提问于2019-02-08得票数 0
回答已采纳
3回答
OCaml repl (“顶层”)具有丰富的打印功能，可以打印任何类型，无论是用户定义的类型还是其他类型。有没有可能在顶层之外访问这个功能，而不是必须为自己的整个类型集编写一个完全自定义的值型打印机集？
浏览 0提问于2011-09-01得票数 18
回答已采纳
1回答
Haskell的ghci可以很好地打印属于实现Show类型类的类型的任何值。OCaml中有没有等价物可以让utop很好地自动打印用户定义类型的值？每一行都键入x |> M.to_string是相当乏味的…
浏览 17提问于2017-07-22得票数 1
回答已采纳
我使用的是版本4的Ocaml。当我以交互方式定义某个类型时，解释器会立即打印出该类型的字符串表示：type foo= Yes | No <-- This is what interpreter bounced
但是在我输入更多的定义之后，有时我想
浏览 1提问于2013-01-12得票数 21
1回答
有没有一种简单的方法可以在ReasonML中打印用户定义的类型或嵌套列表？
背景:我正在为学生编写check expect程序，用于CS入门课程I TA，我们今年第一次使用了Reason。当check expect失败时，我想打印出预期的和实际的输出，但在事先不知道参数的类型，特别是嵌套列表和用户定义的
浏览 0提问于2019-10-26得票数 2
1回答
在print_int中有一系列的函数，比如print_endline和Printf。我不能做这样的事print n;; (* And I haven't to change `print` in case type of `n` changed *)
这是多态打印相反，我们有由程序员显式定义的类C类型。所以我认为OCaml在编译过程中丢失了类型信息，并且在运行时没有这些信息，对
浏览 0提问于2011-09-16得票数 12
回答已采纳
1回答
在OCaml中使用什么进行跟踪和调试？对于跟踪，我希望能够打印每个变量的数据构造函数。下面显示了一个使用Camlp4的示例： let print_colour = Red
浏览 0提问于2011-11-10得票数 9
回答已采纳
1回答
我了解到可以创建接受任意类型的函数，如下所示：但是我找不到一种方法来利用函数内部的类型信息，如下所示x : int) -> print_int x | _ -> print_string "***";;
这真的是不可能的吗如果是的话--这种限制的根本想法
浏览 4提问于2014-01-07得票数 1
回答已采纳
假设我有自己的数据结构，作为一个愚蠢的例子，type 'a mylist = Empty | Cons of 'a * ('a mylist)。我希望toplevel以{a,b,...}的形式打印这个列表。在这里，a、'a类型的b是根据安装在带有#install_printer的toplevel中的打印函数打印的，或者如果没有可用的话，则<e
浏览 4提问于2014-03-09得票数 7
回答已采纳
1回答
众所周知，OCaml具有参数多态性，这就导致了一些局限性.Haskell通过其类型类提供了一个特殊的多态，显然，在一些情况下非常方便。众所周知，OCaml的模块和函子系统允许创建一种特殊的多态。例如，参见Shine 最近的伟大回答。
我的观点是，在Haskell中可以创建派生的几个类型类的类型。lastName :: Strin
浏览 0提问于2016-06-13得票数 16
回答已采纳
1回答
我有以下用户定义的类型：我正在尝试应用模式匹配，但是我遇到了Poly不是空列表的情况，我最后一次尝试是
Poly [(x,y)::xs]但我知道这是完全错误的，我只是在努力阐述它。
浏览 17提问于2020-02-11得票数 0
回答已采纳
问题Q1：这是什么'a. (注意点)？let f:'a.显然，从定义部分来看，这是不可能的，因为x的唯一可能类型是int。
这个例子很有趣，因为它展示了OCaml静态类型推理系统背后<
浏览 0提问于2014-04-27得票数 31
回答已采纳
2回答
我希望在Ocaml中有用户定义的类型，它代表以英文字母开头的字符串，然后可以有字母或数字。可以定义这样的自定义类型吗？
浏览 2提问于2014-05-22得票数 0
回答已采纳
2回答
我在Ocaml中处理列表，所以我编写了一个打印列表内容的函数。下面是我的代码： let leastB = [false; true; true; true; true; false; false; false; true]in
prListB leastB;
prListInt leastI 它工作得很好，但是我是否需要为每种类型<
浏览 69提问于2019-10-14得票数 0
回答已采纳
在F#的printf中有格式说明符%A，它允许传递任何F#类型，并且它将被评估和打印。Success of 'a
显然，Result<'a>不是一个内置的类型我可以在OCaml
浏览 4提问于2017-04-13得票数 8
回答已采纳
3回答
在Java中，如果您执行0.2 + 0.01，您将得到0.21000000000000002我认为OCaml也遵守IEEE754的浮点数，为什么OCaml可以给出正确的结果而Java不能呢？
浏览 4提问于2014-06-30得票数 2
回答已采纳
我正在尝试使用，它要求在它称为"atd文件“中定义要转换为JSON的OCaml对象的类型。data: ('a, 'b) bucketlist array; initial_size: int; 编译器会弹出一个：我不知
浏览 4提问于2015-03-11得票数 1
回答已采纳
3回答
手册上写的是%a
“用户定义打印机。接受两个参数，并将第一个参数应用于outchan (当前输出通道)和第二个参数。因此，第一个参数必须具有out_channel -> 'b ->单元和第二个'b类型。因此，函数产生的输出将在当前点插入fprintf的输出中。”我不明白用户定义的打印机是干什么用的，你将如何实现和使用它。有人能解释一
浏览 1提问于2011-07-06得票数 8
回答已采纳
2回答
在Ocaml中，是否有简单的构造/样式来扩展已定义的类型？bool2 = True | False bool3 = True | False | ThirdOne
浏览 0提问于2011-07-30得票数 11
回答已采纳
我不能使用print_endline，因为它需要一个字符串，而且我认为我没有办法将非常简单的用户定义的数据类型转换为字符串。如何检查这些数据类型的变量的值？
浏览 1提问于2011-09-23得票数 16
回答已采纳
云服务器
ICP备案
腾讯会议
云直播
对象存储
腾讯云开发者
