我在OCaml上关注wikibook，他们说整数类型可以像这样构造： type int = 0 | 1 | 2 | (* .... *) | -1 | -2 | (* ... *) ;; 后来，本书指出所有的构造器都是以大写字母开头的单词还有一些特殊的构造函数，true，false和整数，比如1，2，3。 所以，回到utop。我键入以下内容： type d = 0 | 1 | 2 ;; 我在0上得到了一个语法错误。我遗漏了什么？0不是
浏览 11提问于2021-04-15得票数 2
回答已采纳
2回答
键入'a tree =空的'a * 'a tree *‘树的空\ Node；
在Node of中，Node是内置的OCaml类型吗？
浏览 3提问于2017-09-03得票数 2
回答已采纳
2回答
我是一个使用ocaml的noobie，我的问题是如何获取ocaml中整数的位数，以及如何通过递归调用将它们放入列表中# digits 3124;;
浏览 2提问于2013-01-10得票数 2
我正在尝试用OCaml编写一个将整数转换为自然数的函数。以下是我的代码 type nat = Zero | Succ of nat if x<0 thenx=0 then else
Succ(int_to_nat (x-1));; 编译器提示“此变体表达式应具有类型nat option.The构造函数
浏览 45提问于2019-09-29得票数 0
回答已采纳
2回答
在ocaml中，假设我们有：let x = [A 5; B "y"]ArrayList<Object> x = new ArrayList<Object>();x.add("y");
在数组列表迭代中在内部，ocaml是否将运行时类型信
浏览 1提问于2013-01-31得票数 3
回答已采纳
可以在OCaml中打印值的名称，例如，如果我有 | MyType_First of int然后做一些类似这样的事情
浏览 1提问于2011-09-12得票数 3
回答已采纳
我已经定义了一种类型：我知道OCaml自动订购任何类型：
结构序函数这些函数与整数、字符、字符串、字节序列和浮点数字上的通常顺序一致，并将它们扩展为对所有类型的排序。因此，我可以尝试以下几点：- : bool = true
我是否可以从我<em
浏览 3提问于2016-09-23得票数 1
回答已采纳
2回答
OCaml中的编译器。
我非常希望避免将任何ISO代码签入项目(尽管对C相当了解；这里的目标是专门学习和使用OCaml )。根据这一点，我需要用OCaml为编译语言编写一个“运行时”，将其与主项目分开编译，然后将其与编译器本身的输出链接起来。不幸的是，它看起来像任何外部函数--即使是那些不接触任何OCaml数据的函数--结构&#
浏览 2提问于2017-10-04得票数 3
我正在用Ocaml编写一个递归函数，它应该计算整数列表中的项数(是的，我知道有一个List.length函数，但我正在尝试自己做)。然而，Ocaml编译器/解释器迫使我一直使用alpha list。因此，当函数接受列表作为参数时，该列表的类型必须始终为alpha，这是错误的吗？谢谢
编辑:我不方便使用alpha列表的原因是，由于类型匹配的问题，我不能将a
浏览 0提问于2010-04-12得票数 1
回答已采纳
Scala允许使用'=>‘语法按名称调用函数参数。例如，布尔and函数可以定义为： if (x) y else false通常，这对于可能根本不使用参数的函数是有用的。
如何在OCaml中</
浏览 3提问于2022-03-27得票数 1
回答已采纳
我最近一直在学习OCaml，到目前为止，编译器似乎使用了一个箭头来表示下一个类型是什么。例如，int -> int -> <fun>是一个返回整数的整数，它返回一个函数。但是，我想知道是否可以在OCaml代码中本机使用它。此外，如果有人碰巧知道它的适当名称。谢谢。
浏览 7提问于2017-03-16得票数 4
回答已采纳
假设我是这样在OCaml中定义一个类型的：制作时Bar构造函数是“调用”的。在下面的函数中，匹配是调用构造函数还是简单地“识别”模式而不调用构造函数？
浏览 0提问于2016-04-24得票数 2
回答已采纳
2回答
在OCaml中，模式匹配中的顺序与性能之间是否存在关系？从性能的角度来看，它是否等同于 | B -> ...假设在第一种情况下，A的数量与第二种情况下的B的数量一样多？换句话说，在考虑性能时，我是否应该担心类型中构造函数的声明顺序？
浏览 0提问于2013-05-02得票数 1
回答已采纳
在OCaml中，多态比较是通过遍历由直接和指向块的指针组成的值的运行时表示来实现的。
根据的说法，没有参数的多态变量只是存储为一个未装箱的整数。为方便起见，摘录于此。没有任何参数的多态变量存储为一个未装箱的整数，因此只占用一个单词的内存，就像普通的变量一样。此整数值是通过将哈
浏览 1提问于2018-04-08得票数 9
回答已采纳
1回答
新来的OCaml，所以我能来这里的只是一些伪的。因此，只需遍历列表，可能会使用%2查找奇数整数，并将它们附加到新列表中。作为OCaml的新手，我研究了哪些东西可能有用，比如map、rev_map或iter，甚至可能是filter？
什么是最好的使用，你会如何设置它？
浏览 3提问于2012-03-09得票数 2
我今天读了Jason Hickey的在线书籍“Objective Caml简介”，在关于Functors的章节(第140页)中，我在Set functor的定义中遇到了下面这行：运行代码会导致一个不太有启发性的'Syntax error‘错误消息。在将代码插入ocaml toplevel后，我发现::实际上不是一个运算符，而是一个类型构造器。
然而，从我对Haskell所知不多的情况来看，等价
浏览 2提问于2012-12-13得票数 10
回答已采纳
1回答
如果您正在用Haskell编写生物信息学算法，您可能会使用代数数据类型来表示核苷酸：我想，在Standard或OCaml中，您也会这样做我假设您只使用大小可变的堆分配内存，开头有一个构造函数ID (例如，0用于Big，1用于Little)。西蒙·马洛( Simon )回答了我关于中GHC的一般问题。然而，我有三个相关问题仍未得到回答：
标准ML (SML/NJ和MLton)和OCam
浏览 2提问于2014-07-18得票数 17
假设系统是32位。我想知道OCaml到底为这个转换做了什么。例如，如果我执行let x = 1，OCaml是否执行以下操作？获取32位中的普通1：0000...0001
我说的对吗？但是如
浏览 8提问于2014-06-10得票数 1
回答已采纳
create_foo i = Foo i
apply 1 Foo
apply 1 create_foo哈斯克尔似乎允许这种行为。
浏览 2提问于2021-03-27得票数 5
回答已采纳
2回答
我为OCAML找到的所有文档都同意，"+“运算符仅用于整数加法。我有一个函数，需要在每次递归调用中增加一个整数。功能定义：(lst_act x t curr+1)
这个函数没有按预期工作，我真的不知道为什么。如果+运算符仅用于ocaml中的整数加法，我
浏览 2提问于2018-02-18得票数 0
回答已采纳
云服务器
ICP备案
腾讯会议
云直播
对象存储
腾讯云开发者
