我正在研究函数式，我试图接收一个Module.t作为参数，其中Module是函数式调用SomeFunctor(sig type t = int end)的结果，但我收到的是Unbound type constructor
浏览 19提问于2021-10-31得票数 4
回答已采纳
我正在研究如何将OCaml TCP/IP堆栈集成到我的C++项目中。多亏了这个答案，我已经知道如何从OCaml调用C和从C调用OCaml：OCaml as C library, hello world example OCaml将由C++控制，而不是反过来。因此，对于TCP/IP堆栈，我必须能够发送和接收数据包。我可以很容易地通过C++将数据发送到TCP/IP协议栈，但如何接收数据？我需
浏览 12提问于2020-05-01得票数 1
回答已采纳
在OCaml中，Hashtbl可以将任何东西转换为int。
但是OCaml是如何做到这一点的呢？
浏览 1提问于2013-03-22得票数 5
回答已采纳
我不能使用print_endline，因为它需要一个字符串，而且我认为我没有办法将非常简单的用户定义的数据类型转换为字符串。如何检查这些数据类型的变量的值？
浏览 1提问于2011-09-23得票数 16
回答已采纳
我正在用Ocaml编写一个递归函数，它应该计算整数列表中的项数(是的，我知道有一个List.length函数，但我正在尝试自己做)。然而，Ocaml编译器/解释器迫使我一直使用alpha list。因此，当函数接受列表作为参数时，该列表的类型必须始终为alpha，这是错误的吗？谢谢
编辑:我不方便使用alpha列表的原
浏览 0提问于2010-04-12得票数 1
回答已采纳
我希望在OCaml中有这样的表达但是我得到了Unbound class obj的一个编译器错误，但是为什么编译器不满足于创建这个函数，这个函数就是在这个对象上调用一个函数，而这个函数恰好带有一个init。
浏览 5提问于2015-10-31得票数 1
回答已采纳
2回答
我正试图在C++中构建一个用于参数优化的优化库。这类优化有很多算法，如遗传算法、差分进化等。在大多数算法中，一旦我们根据参数的优化策略对参数进行修改，就必
浏览 13提问于2019-10-14得票数 1
回答已采纳
我从C++模板、Java泛型和C#泛型之间学到了区别，这有助于我更好地理解如何以不同的方式正确地使用它们。为了帮助我学习在OCaml中使用泛型，哪种语言的泛
浏览 3提问于2017-09-20得票数 3
回答已采纳
在过去的一年左右，我一直在Haskell中玩耍，实际上我开始“理解”它，直到Monads，镜头，Type Families，……一大堆。我马上就要离开这个舒适区了，我要把工作转移到一个OCaml项目上。通过一点语法，我在寻找类似的更高级别的概念，例如functor。我读了Haskell中的代码和函数器的结构，但我似乎不能理解它们现在是否在OCaml和OCaml中是相似的概念。简而言之，Haskell
浏览 0提问于2013-05-03得票数 44
回答已采纳
3回答
说
将'a -> 'b -> 'c调用约定与'a * 'b -> 'c进行比较时。在使用SML/NJ时，我习惯了输入和输出都使用元组类型：('a * 'b) -> ('c * 'd)，因此使用元组来表示多个输入似乎与我表示多个输出的方式是对称的。为什么推荐对元组<
浏览 0提问于2012-05-19得票数 12
回答已采纳
5回答
类型化FP:元组参数和可循环参数
、、、、
在静态类型的函数式编程语言中，如Standard ML、F#、OCaml和Haskell，编写函数时通常会将参数彼此分开，并用空格将函数名与函数名分开： a + b这里的类型是"int -> (int -> int)"，也就是一个函数，它接受一个整数，然后返回一个函数，然后再返回一个整数，最后返回
浏览 2提问于2009-01-02得票数 7
这是语言之间的恩惠，因此有，它基本上为您定义的任何类型生成可解析的交换格式；它自动化编写普通代码的过程(编写在某些交换信息中读取的函数，并生成某种任意类型的实例)。如果有一些声明式的模式来管理函数公开，这样就可以通过某种介质(比如RPC，或者将函数映射到带有参数编码的url )到达ocaml库，这将是很好<em
浏览 8提问于2014-10-16得票数 2
回答已采纳
3回答
我已经有一段时间没有编写OCaml代码了，我遇到了这个问题，这个问题听起来很简单，但我在解决这个问题时遇到了心理障碍：
编写一个函数，该函数接受一个函数f，其变量数为返回布尔值的变量数(即f类型为'a-> 'b -> 'c -> ... -> bool)，并返回一个函数g，该函数g表示f的否定(即所有有效参数集的(f x1 x2 .. xn) =
浏览 3提问于2015-06-22得票数 5
回答已采纳
我在OCaml中有一个列表，返回[[7; 5]; [7; 3; 2]]。我知道在List中有很多OCaml函数。我想打印出每个值，在它们之间加上一个加号，就像Python或Ruby中的那样。在Python中，我使用print('+'.join(map(str,lst)))来完成这个操作，其中lst是列表，str是转换成字符串。我如何在OCaml中做到这一点？print_string "Prime Part
浏览 2提问于2017-02-09得票数 1
回答已采纳
我正在构建一个带有LLVM后端的。我将使用Zend类型zend_string来表示字符串。为此，我需要一个名为zend_string_ptr或其他类型的LLVM指针类型。如何使用OCaml LLVM绑定创建此指针类型？中创建LLVM双重类型，您可以编写要使函数类型接受0参数并返
浏览 3提问于2015-09-05得票数 1
回答已采纳
2回答
如何在OCaml中编写一个函数，其中一个或多个参数是可选的？let foo x y z = if(x+y > z) then true else false;;foo 3 3 10 -> false有没有什么OCaml特性可以做到这一点？
浏览 1提问于2014-05-17得票数 11
回答已采纳
rawr将f应用于具有y的x的每个元素，并返回累加值*)rawr (+) 1;2;3 2应返回(1+2) + (2+2) + (3+2) = 12
我不需要编写rawr代码(这只是我想出的一个随机示例，以明确我的问题)，但我确实需要将其他函数或算术声明作为参数(特别是对于rec或折叠结构)。我一直在尝试不同的格式，但至今没有成功.有谁能告诉我如何以未
浏览 4提问于2014-09-21得票数 0
回答已采纳
我正在OCaml做一个学校作业，我有一个关于表达式的含义的问题。例如，在定义函数时，如果我写道：= fun (n,f) ->
(int -> int)是什么意思？我理解函数本身接收一对作为参数，但我不完全理解括号的含义.
浏览 4提问于2017-10-13得票数 0
回答已采纳
6回答
我希望找到编程语言，这些语言允许您定义能够接受自己(即指向自己的指针)作为参数的函数。例如，在JavaScript中： if (y === 0) return;}上面的代码将在我尝试在OCaml中定义类似的函数，如下所示：
let rec foo x y = if y < 1 then "hi"
浏览 6提问于2019-04-22得票数 6
回答已采纳
云服务器
ICP备案
云直播
腾讯会议
实时音视频
腾讯云开发者
