1回答
显然，下面的两种类型是不同的，但为什么呢？of 'a * (unit -> 'a llist)type 'a llist = Nil | Cons of ('a * unit -> 'a llist)
在这两种情况下，Cons不都接受元组作为参数吗
浏览 0提问于2017-03-09得票数 4
回答已采纳
2回答
根据Rosetta代码中的一节，OCaml元组(由函数返回时)作为一个单元被保存或收集。元组空间安全性
OCaml程序员应该知道，当一个元组返回多个值时，终结不会独立地处理每个值，而是作为一个整体处理元组。因此，只有当所有的值都无法到达时，所有的值才会最终确定。我想知道在OCaml 4.05中这是否仍然是正确的，以及是否有任何替代方法来获得不具有此属性的产品类型的相同功能。
浏览 1提问于2017-10-28得票数 1
回答已采纳
3回答
说
将'a -> 'b -> 'c调用约定与'a * 'b -> 'c进行比较时。在使用SML/NJ时，我习惯了输入和输出都使用元组类型：('a * 'b) -> ('c * 'd)，因此使用元组来表示多个输入似乎与我表示多个输出的方式是对称的。为什么推荐对元组参数进行OCaml函
浏览 0提问于2012-05-19得票数 12
回答已采纳
1回答
假设您正在用OCaml/F#/SML/Haskell编写一个应用程序，并希望将数据持久化到关系数据库中。将产品类型(记录和元组)映射到关系很容易，但是如何将变量类型映射到关系呢？具体来说，如何在关系数据库中持久化如下所示的类型？(* OCaml *) | Foo | Baz of int * int * int
浏览 3提问于2015-10-19得票数 11
2回答
我经常听说F#缺乏对OCaml行类型的支持，这使得语言比F#更强大。
他们是什么?它们是代数数据类型，如sum类型(歧视联合)还是乘积类型(元组、记录)？是否可以用其他方言(如F# )编写行类型？
浏览 7提问于2018-01-04得票数 32
回答已采纳
输入列表按类型'a的键的值排序。
else h2::(diff t1 list2)
let rec diff list1 list2= match list1,list2 with
|_
浏览 0提问于2018-08-16得票数 0
回答已采纳
1回答
在OCaml中，有一个函数接受两个相同大小的列表，并返回一个元组列表：在C#中有类似的东西吗？我对输出的类型没有很强的要求。它可以是元组列表，也可以是类似于字典的内容。
浏览 1提问于2014-11-18得票数 2
回答已采纳
1回答
我有麻烦的模式匹配元组的长度和类型。| `int i -> i;;我期望这个函数调用返回2，但是我得到了以下错误：我在这里还有什么其他选择来完成这个任务呢？
浏览 1提问于2015-04-02得票数 0
回答已采纳
2回答
我试图更好地理解OCaml类型推断。我创建了这个示例： | (l,r) -> (f l)+(f r)我想把它应用到任何带有嵌套对的二元元组(对)上，例子:F(1，2)，3)问题：'a是任何类型，也不能是对，或者由_
浏览 2提问于2015-07-25得票数 3
回答已采纳
1回答
假设我想定义一个OCaml类型的浮点数组。这可以作为type exampletype = Array of float来完成。但是假设我想将这种类型限制为只包含固定大小的数组。有没有可能创建这样的类型，或者在这种情况下，使用大小合适的浮点数元组是否会更有效？
浏览 6提问于2020-11-10得票数 0
回答已采纳
据我所知，由于OCaml的设计和基本理念，没有通用的打印功能，例如，可以打印出任意数据结构，例如这个。一个可以处理每个数据结构的函数在OCaml中没有输入类型，这没有任何意义。我可以编写一个小函数来打印从标准数据结构中生成的任何数据结构--列表、元组、数字等等(如和所示)，然后我必须为另一个不同的数据结构编写另一个小函数，等等。然而，utop和ocaml使用内置的漂亮打印例程来显示任何类型的评估结果，并显示列表、元组等的内容。才能进入REPL的P部分？广泛使用通用打印功
浏览 5提问于2017-05-08得票数 4
回答已采纳
1回答
我只在延迟5秒后才看到整个输出，但我认为应该不是这样。嗨收到了
let t1 ch = print_string (m ^ " -> received\n"); sync (send ch "t1 got the message")
let ch = new_channel () in
c
浏览 1提问于2017-02-18得票数 1
回答已采纳
1回答
刚拿起Ocaml，一直在研究递归迭代等等。我试着迭代一个元组，但被搞糊涂了。假设我想迭代一个元组并将每个元素除以一半，我该如何做呢？特别是如果元组的大小不知道，而只是作为一个变量给出的话？现在，如果我知道这是一个2元组，我可以做。所以这就是我被困的地方。我怎样才能找到与之相匹配的论点呢？我知道元组在创建之后是固定的，所以我不能对其进行适当的修改，那么我将如何创建一个包含原始tuple/
浏览 1提问于2016-09-19得票数 0
回答已采纳
我有一个(int * float) list类型的列表。我很乐意给出一个解决方案和解释。
浏览 2提问于2021-11-26得票数 0
回答已采纳
我正在努力掌握OCaml语言的语法，但在应用一些OOP结构时遇到了一些问题。我使用以下代码的目标是拥有一个继承自虚拟类foo的类栏。当我编译下面的代码时，我得到了一个错误:方法doThis的类型是'a -> 'b，但它的类型应该是Player.这是什么意思(记住，我是新手)，我该如何去纠正它？
谢谢!
浏览 1提问于2009-02-01得票数 4
回答已采纳
我用OCaml编写了以下代码： let matchElement x y= | (y,_) -> true
| _ -> false;; 我收到了一个警告我的意图是，如果x匹配一个元组，其中第一个元素等于类型y，则返回true，否则返回false。你知道怎么做吗？
浏览 3提问于2020-04-06得票数 1
回答已采纳
云服务器
ICP备案
腾讯会议
云直播
对象存储
腾讯云开发者
