3回答
OCaml结构类型和列表
、、、
我在使用OCaml中的列表时遇到了问题。cons运算符可以在运行时使用吗？
此外，为什么杜宾犬(见下文)被允许出现在吉娃娃的名单中？如何将另一只吉娃娃添加到列表中(就像最后一行尝试的那样)？
浏览 1提问于2009-02-02得票数 2
据我所知，由于OCaml的设计和基本理念，没有通用的打印功能，例如，可以打印出任意数据结构，例如这个。一个可以处理每个数据结构的函数在OCaml中没有输入类型，这没有任何意义。我可以编写一个小函数来打印从标准数据结构中生成的任何数据结构--列表、元组、数字等等(如和所示)，然后我必须为另一个不同的数据结构编写另一个小函数，等等。然而，utop和ocaml使用内置的
浏览 5提问于2017-05-08得票数 4
回答已采纳
我想编写一个递归结构，就像我们在C中所做的那样，但是在Ocaml中。我希望我们包含一个布尔值和一个相同类型元素的递归副本列表。我如何在Ocaml中做到这一点？
浏览 0提问于2020-06-24得票数 0
1回答
如何使用ocaml从符合特定条件的树结构中获取节点列表？因为所有东西都是新创建的，所以没有保存的数据结构。任何类型的函数如果试图返回一个列表，只能在它命中节点时返回一个元素，而不是一个列表。
浏览 2提问于2014-10-16得票数 0
回答已采纳
3回答
在研究F#和OCaml之间的差异时，我发现他们倾向于关注和 。然后我发现了，它将类型和类型推断列为不同的特征。由于特写文章说OCaml和F#都使用类型推断，我认为这是一个标准算法，即一个不允许变化的算法，这两个特徵是如何联系的？是否达马斯-米尔纳是构建两个类型推理系统的基础，但它们各自都基于类型来修改达马斯-米尔纳？
我还检查了F#源代码中的单词Damas，Milner和Hindl
浏览 0提问于2012-09-10得票数 8
回答已采纳
我有一个(int * float) list类型的列表。我很乐意给出一个解决方案和解释。
浏览 2提问于2021-11-26得票数 0
回答已采纳
3回答
我知道像Haskell这样的语言是静态类型的，并且有类型推断。但是，是否存在具有全局类型推断的非函数式语言，类似于具有类型推断和结构类型的C语言。
浏览 0提问于2012-10-27得票数 4
回答已采纳
我正在使用ocaml和它的llvm绑定来编写一个玩具编程语言/编译器。我想要hashtable/hashmap作为我的语言的内置数据结构，但是我对如何处理它们感到困惑。我知道llvm c++ api有一个ADT目录，其中包含一组数据结构，可以满足我的需要，但我不知道如何使用ocaml来调用它们。如果任何人都有关于如何在llvm中使用/实现这些数据结构的有用资源(要么通过ocaml绑定，要么直接使用IR，而不是c++ api)，这将是有帮助的。
浏览 1提问于2018-03-28得票数 1
回答已采纳
2回答
该语言有一个特殊的结构，用于调用'a -> bool类型的外部OCaml函数。of ('a -> bool) * 'aOCamlFunction (foo,45)我的问题是：
(1)我假设代码的动
浏览 3提问于2011-03-11得票数 1
回答已采纳
1回答
我是一名学生，我正在做一些项目，其中我需要使用ocaml编写的代码。我想用Go写一个项目。为了理解如何从ocaml中转移代码，我决定用下面的代码编写hello world - application： hello.ml let print_hello =
print_endline "Hello
浏览 20提问于2020-03-20得票数 0
假设我有这样一个类型： { }结构用于声明结构类型用于模块定义中的OCaml兼容性。
用于模块定义中的OCaml兼容性.
浏览 2提问于2021-12-30得票数 1
回答已采纳
我有一个矩阵类型是一个向量列表。向量是一个整数列表。它在XSD数据结构中。我想知道数据结构是如何读取这个构造函数的，是从上到下读还是从下到上读？更详细地说，我想知道这个列表在Coq和OCaml中是什么样子的。据我所知：我只想确保我的理解。你能给我澄清一下吗？非常感谢。
浏览 0提问于2013-06-17得票数 2
回答已采纳
3回答
我如何在Ocaml中创建一个链表来保存我的数据？我正在尝试制作一个单链表，但是我在语法上遇到了问题。我只想做一个模块，简单地从链表中获取'a‘，插入'a’或删除'a‘。
有谁知道吗？
浏览 0提问于2009-11-16得票数 5
回答已采纳
编写任何类型为('a -> 'b) list -> 'a -> 'b list的Ocaml函数
# let int x = x+1;;所以我传递一个函数，一个函数和一个变量。我要把这个变量加到列表的每个元素中，然后返回列表</e
浏览 3提问于2012-08-15得票数 2
2回答
这是因为，由于子类型，在某些情况下无法知道方法在表中的位置，因此必须执行二进制搜索。
请告诉我关于这方面的进一步资源，谷歌让我失望了。
浏览 3提问于2012-12-09得票数 12
回答已采纳
3回答
我知道，当使用ocaml模式匹配时，可以使用h::t，当使用这个时，h引用列表中的第一个元素，t引用列表的其余元素。是否可以使用相同类型的匹配来获取列表中的最后一个元素。因此，t将引用最后一个元素，h将引用列表的其余部分。
浏览 3提问于2015-03-25得票数 7
回答已采纳
这是肯定的，我可以做type 'a entry = Empty | Value of string * 'a * 'a entry;;，所以如果我想递归地定义一个类型，我只能走union路线？
浏览 1提问于2013-03-24得票数 1
回答已采纳
1回答
假设我有一个由多个多态变量(协变)组成的类型，如下所示： [> `Ok of int | `Error of string] 让我们进一步假设，我希望将此定义分解为某种类型构造函数和一个具体的类型int我的第一次尝试是这样的： type 'a error = [> `Ok of 'a | `Error of string] 然而，使用这样的定义会产生一个非常奇怪的类型错误，它提到了一个类型变量'b，该变量没有出现在定义中的任何地方$ oc
浏览 20提问于2020-01-21得票数 5
回答已采纳
1回答
我使用ocaml编程，并使用ocalmyacc生成解析器。ocaml的一个非常有用的特性是它的变体类型如下：| Addexp of exp*expexp :| exp1 + exp2 {Addexp($1,$3)}
那么，如果在C++和野牛中存在类似的机制呢？
浏览 3提问于2016-01-06得票数 0
回答已采纳
云服务器
ICP备案
云直播
腾讯会议
实时音视频
腾讯云开发者
