1回答
我想编写一个函数，该函数接受实现特定签名的模块和与这些模块具有相同类型的实例，但显然我不能这样做，因为与模块的作用域有关的问题(模块和它的实例都是参数，因此实例不知道模块的类型)。type a) (module M: Set.S with type elt = a) (pr: a ->
浏览 12提问于2021-06-03得票数 4
回答已采纳
4回答
我正在试验OCaml (3.12.1)的模块语言，为模块定义函数器和签名等等，主要遵循的例子，我偶然发现我对函数器和模块签名如何工作的心理模型存在缺陷。因此，我们有一个函数，它简单地提供一个标识函数'f‘，并由提供该函数的输入参数类型的模块参数化。就像我说的完全是做
浏览 0提问于2012-03-20得票数 13
回答已采纳
我正在将几个基于OCaml的模块转换为F#，并从OCaml格式模块运行到打印格式化函数OCaml。在阅读了打印盒的概念后，它是有意义的，但它似乎需要在幕后进行大量的工作才能实现。是否有功能等价的F#模块？
如果没有，那么在不转换OCaml格式模块的部分内容的情况下，有哪些快速而简单的<
浏览 0提问于2012-05-01得票数 4
回答已采纳
1回答
OCaml函子以OCaml函子作为参数，或返回OCaml函子，在中从未提及。
是否有技术原因阻止OCaml拥有更高层次的模块？
浏览 12提问于2021-12-28得票数 1
回答已采纳
3回答
Ocaml的标准库包含各种模块：List、Map、Nativeint等。我知道提供了这些模块的接口(例如)，但我对模块函数中使用的算法及其实现很感兴趣。
我在哪里可以找到它？
浏览 0提问于2010-10-21得票数 9
有各种交换语言-- json等--提供了将数据快速可靠地导出和解析为通用格式的能力。这是语言之间的恩惠，因此有，它基本上为您定义的任何类型生成可解析的交换格式；它自动化编写普通代码的过程(编写在某些交换信息中读取的函数，并生成某种任意类型的实例)。如果有一些声明式的模式来管理函数公开，这样就可以通过某种介质(比如RPC，或者将函数映射到带有<em
浏览 8提问于2014-10-16得票数 2
回答已采纳
1回答
OCaml mod中的模块化函数返回的结果与python中的模块化运算符不同。OCaml:- : int = -1>>> -1 % 4为什么结果不同？
是否有在%中作为OCaml操作的标准模块功能？
浏览 3提问于2017-10-15得票数 7
回答已采纳
1回答
我对如何在OCaml中实现嵌套函数有问题，我需要一个函数的输出(列表)作为另一个函数的输入。两者都应该是递归的。问题是，我一直在玩参数，它们没有正确地喂食： let rec listCleanup sentence =
match sentence with| h::t -> h ^ " " ^ toString listCleanup sente
浏览 3提问于2022-04-10得票数 0
回答已采纳
1回答
我是OCaml初学者，所以这个问题可能很简单。我有一些像这样的功能：f1 <list of args> state = ...f2 <list of args> state = ...f3 <list of args> state = ...f4 <list of args> state = ...这些函数中的每一个都调用其他函数，最后一个参数作为状态。因此，对于每个
浏览 2提问于2014-05-08得票数 3
回答已采纳
我从C++模板、Java泛型和C#泛型之间学到了区别，这有助于我更好地理解如何以不同的方式正确地使用它们。为了帮助我学习在OCaml中使用泛型，哪种语言的泛型是OCaml中类似于C++、Java或C#的泛型类和
浏览 3提问于2017-09-20得票数 3
回答已采纳
1回答
我有一个OCaml程序，它的模块有很多依赖于参数的函数，即“尺寸”。此参数在代码运行开始时确定一次，并保持不变，直到终止。我的问题是:我怎样才能把代码写得更短，这样我的函数就不会都需要“尺寸”参数了。这些模块相互调用函数，因此模块之间没有严格的层次结构(或者我看不到这一点)。
ocaml风格是如何解决这个问题<
浏览 0提问于2013-10-31得票数 4
1回答
在我学习OCaml的过程中，我想知道如何正确地获得argc，即从命令行中获取参数计数，以检查是否指定了足够的参数。let argc_length = Sys.argv.length(Sys.argv);;如何从OCaml中的命令行获得参数计数？
浏览 0提问于2018-03-10得票数 0
回答已采纳
我认为OCaml会读作为部分应用程序的一个实例，并将函数存储为f。但是，编译器抱怨该函数被应用于太少的参数。对此的任何见解都将不胜感激，谢谢。
浏览 4提问于2021-03-08得票数 1
回答已采纳
我在做真实世界的Ocaml，用Ocaml 4.06，emacs/merlin。请参阅下面的代码片段。看起来，Map.of_alist_exn不接受带标签的参数~comparator。我认为函数类型已经改变了。，但是ocaml认为它是无效的。Q2)我应该给它什么作为比较器？
@一位苦苦挣扎的黑人b
浏览 0提问于2018-02-13得票数 1
回答已采纳
0回答
(我使用OCaml版本4.02.3)# type self = Self of self;;及其实例sval s : self = Self <cycle>我还向s应用了一个函数。# let f (s: self) = 1;;
val f : se
浏览 5提问于2017-06-05得票数 5
回答已采纳
我马上就要离开这个舒适区了，我要把工作转移到一个OCaml项目上。通过一点语法，我在寻找类似的更高级别的概念，例如functor。我读了Haskell中的代码和函数器的结构，但我似乎不能理解它们现在是否在OCaml和OCaml中是相似的概念。简而言之，Haskell中的函数器对我来说主要是提升Haskell中的函数的一种方式，我就是这样使用它(喜欢它)的。在OCaml</e
浏览 0提问于2013-05-03得票数 44
回答已采纳
2回答
I
已经有一段时间了，还没有在OCaml文档的其他地方重复使用“钩子”这个词。在OCaml中对此有一些语言支持吗？把我引向正确的方向。我想要类现存(所有实例)<
浏览 1提问于2013-04-08得票数 2
1回答
我仍然在为模块的设计和实现而苦苦挣扎，我定义了以下内容：sig val init: 'a -> 'a tend
structend所以看起来编译
浏览 0提问于2012-01-31得票数 2
回答已采纳
云服务器
ICP备案
腾讯会议
云直播
对象存储
腾讯云开发者
