2回答
在Ocaml中，我在两个类型定义中使用了相同的类型构造函数名称。像这样： type a= | The_constructor of ...
| ...
浏览 18提问于2020-10-02得票数 0
回答已采纳
2回答
变体还是多态变体？
、、、、
我注意到，在我认识的OCaml程序员中，有些人总是使用多态变体(没有声明的变体，以背引号作为前缀)，而另一些程序员则从不使用多态变体，而更喜欢在类型中声明的变体。除了性能原因(多态变体目前编译效率低于简单变体)外，专家OCaml开发人员如何在它们之间进行选择？
浏览 3提问于2012-02-20得票数 42
回答已采纳
1回答
我想要有条件地执行命令#use "a.ml“，即在'if statement‘中，如下所示... `| (false)-> #use "2.ml";;` is there any way of doing it?
浏览 0提问于2014-01-28得票数 0
我有一个定义为type abc = bool->int;;的类型，它解释了从bool到int的简单映射。
浏览 5提问于2017-01-22得票数 0
回答已采纳
2回答
我一直在努力理解这一点，再努力工作会损害我和OCaml的关系，所以我想我会寻求帮助。我有一个来自的简单函数Stream.from try Some (input_line channel现在，为什么在OCaml中我做不到：相反，我不得不去做看着也没能让我得到任何东西。我注意到这种语法上的奇怪之处就像列表一样，你必须做一些不自然的事情而不是
浏览 2提问于2015-04-01得票数 1
回答已采纳
1回答
我对Ocaml不熟悉，所以只需要澄清一下 and float_t = L.double_type context
浏览 3提问于2021-12-27得票数 0
回答已采纳
我在文本文件mpd.ml中有一个简单的模块，其中包含变体类型： | Not_list | Password
浏览 1提问于2016-09-12得票数 0
回答已采纳
1回答
是否有允许静态和动态类型的语言？
、、、、
动态类型语言在快速原型方面似乎有优势，例如Python或Perl，而静态类型化语言(如C++、OCaml)则允许更多的编译时检查和优化。我想知道是否有一种语言允许两者兼而有之：
首先，具有动态类型的快速原型，泛型(即接受任何类型的)打印函数，以便于调试和REPL，并适应不断变化的设计选择。然后，更改一些内容并将代码编译到一个库中，使用静态类型进行更多的安全测试和最佳性能。例如，更改以允许静态类型
浏览 3提问于2012-11-15得票数 9
回答已采纳
这是语言之间的恩惠，因此有，它基本上为您定义的任何类型生成可解析的交换格式；它自动化编写普通代码的过程(编写在某些交换信息中读取的函数，并生成某种任意类型的实例)。基本上，到目前为止最好的选择是协议缓冲区，如果沿着ocaml的路线走，我绝对希望使用协议缓冲区。如果有一些声明式的模式来管理函数公开，这样就可以通过某种介质(比如RPC，或者将函数映射到带有参数编码的url )到达ocaml库，这将是很好的。想象一下，提供一个库作为一种服务
浏览 8提问于2014-10-16得票数 2
回答已采纳
我想知道是否可以编写一个函数程序(如Haskell或OCaml)，该程序接受两个列表，并确定第一个列表是否是第二个列表的子列表，其属性是程序不能调用列表元素之间的相等。更普遍地说，是否有这样一个程序可以用于任意类型的元素列表？(用Haskell术语来说)该类型不需要受到Eq、Ord或其他东西的约束。我问这个问题的原因是，在处理任意类型的元素列表时，标准相等(如ints、字符串等)有时不支持这些元素。不过，对子列表进行测试将是有帮助的。
浏览 1提问于2018-06-23得票数 0
回答已采纳
None是一个类型构造函数吗？None不是一个值吗？在我看来，None是一个多态值。有什么多态值吗？
在我看来，当与多个多态实体(如id id或ref None )进行某种交互时，就会出现值限制。我是OCaml自学的初学者。任何帮助都是非常感谢的。
浏览 4提问于2017-12-30得票数 3
回答已采纳
2回答
OCaml中的FIx数据类型
、、、、
Haskell中的以下数据类型如何用OCaml或SML表示？
newtype Fix f = In (f (Fix f))
浏览 7提问于2012-10-21得票数 3
这种类型搜索的主要用例是，当您看到某个地方使用的函数时，您想知道它的类型和定义它的包。这种类型搜索的主要用例发生在编写代码时。您知道您需要的函数的类型，并且您想知道它是否已经在某个
浏览 9提问于2017-02-02得票数 8
回答已采纳
我不能使用print_endline，因为它需要一个字符串，而且我认为我没有办法将非常简单的用户定义的数据类型转换为字符串。如何检查这些数据类型的变量的值？
浏览 1提问于2011-09-23得票数 16
回答已采纳
3回答
我想知道是否有任何高性能的序列化库(如Google protocol buffer)支持。
Sum类型是带标签的联合，基本上能够说明某事物是A、B或C。Sum类型用于支持的语言，如Haskell和ML
浏览 4提问于2012-02-21得票数 8
回答已采纳
我把下面的Haskell代码翻译成了OCaml：{ intialState :: q, transitionisAccepting: 'q -> bool;当然，这会给出一个语法错误，因为类型构造函数部分为什么不能像元组类型</
浏览 0提问于2011-12-29得票数 7
回答已采纳
1回答
假设我有一些v，它既是Applicative，也是Traversable。怎样才能得到具有v索引的v？对于一个具体的例子，请考虑来自Linear的Linear。我要V3 0 1 2。snd $ T.mapAccumL 0 (pure "") :: V3 Int
浏览 1提问于2015-03-21得票数 1
回答已采纳
1回答
先决条件失败:不允许进行负数计算
、、、、
swift/stdlib/public/core/StringLegacy.swift, line 49String(repeating: "a", count: -1)嗯，重复一些字符串的负数是没有意义的既然我们在Swift中有类型，为什么不使用UInt
仅当您特别需要具有与平台的本机字大小相同大小的无符号整数类型时，才使用UInt。整数值的一致使用有助于代码互操作性，避免了在不同数字类型之
浏览 0提问于2018-03-16得票数 2
云服务器
ICP备案
云直播
腾讯会议
实时音视频
腾讯云开发者
