我从C++模板、Java泛型和C#泛型之间学到了区别，这有助于我更好地理解如何以不同的方式正确地使用它们。为了帮助我学习在OCaml中使用泛型，哪种语言的泛型是OCaml中类似于C++、Jav
浏览 3提问于2017-09-20得票数 3
回答已采纳
3回答
说
将'a -> 'b -> 'c调用约定与'a * 'b -> 'c进行比较时。在使用SML/NJ时，我习惯了输入和输出都使用元组类型：('a * 'b) -> ('c * 'd)，因此使用元组来表示多个输入似乎与我表示多个输出的方式是对称<e
浏览 0提问于2012-05-19得票数 12
回答已采纳
在macOS高山上使用ocaml-top 1.1.5和ocaml 4.02.3：
当编译一个文件时，当函数触发(模式匹配)警告8时，警告显示为红色(在我通常使用的Windows ocaml-top版本中，它将是黄色的)；函数本身似乎是编译的，并给出了一个类型，但文件中位于它下面的函数无法编译(就好像警告是实际的编译错误一样)。我失踪的</
浏览 1提问于2018-05-28得票数 0
我使用了从Coq到OCaml的提取，其中有Z、N、positive类型。| Z0| Zneg of positive
我在OCaml中有一个程序，其中一些函数使用OCaml类型的string在我的OCaml程序中，我需要编写一些转换类型的
浏览 1提问于2014-09-02得票数 2
回答已采纳
可能重复：
let succ n = n + 1;;
if n =而在Haskell (GHCI)，我可以写
let suc
浏览 2提问于2012-02-17得票数 44
回答已采纳
似乎很多人都在说OCaml没有很好的并发能力，也不适合web服务器应用。我能知道为什么OCaml的并发/线程被认为是糟糕的吗？我可以用OCaml开发服务器应用程序吗？我可能会遇到什么问题？
浏览 1提问于2013-05-03得票数 15
回答已采纳
3回答
我的理解是，“纯OCaml”指的是OCaml中的所有标准功能，包括它的非“纯”功能特性，而“纯功能”指的是通常的属性:没有副作用，没有异常处理等。在这个意义上，“纯OCaml”实现是与C或C++实现相对立的，比如OCaml。
然而，我最近与一个非常坚持“纯OCaml”在某些圈子中意味着OCaml的“纯函数子集”的人进行了一场辩论。这两种意思是否真
浏览 10提问于2016-01-28得票数 4
2回答
我的OCaml程序使用OCaml标准库中的一些函数，这些函数是在版本4.01.0中才引入的。我如何安排当我的用户编译我的代码时，如果OCaml编译器的版本不是4.01.0或更高，编译器就会发出错误？我觉得这个错误比一般的“非绑定变量”错误更有帮助。
我看到ocaml -vnum发出"4.01.0“，所
浏览 7提问于2017-01-24得票数 1
1回答
我大致知道F#和OCaml在“特性”方面的不同之处(例如，函数器、camlp4、度量单位...)。换句话说，如果一些(惯用的) F#代码可以直接(可能微不足道地)转换成OCaml，那么这种转换必然会导致惯用的Ocaml吗？编辑:从Guy Coder提供的链接中，我猜测一些“惯用的”OCaml代码可能不能直接转换为“惯用的”F#代码，因为在F#中异常要慢得多(在OCaml</
浏览 5提问于2016-04-21得票数 24
回答已采纳
嗨，我一直在互联网上检查，以找到一种在OCaml中实现“字符串是否以特定文本结尾”的好方法，我发现在OCaml中操作字符串并不像我预期的那样简单。下面是我的OCaml代码，它使用Str.regexp检查文件名称是否以".ml“结尾，以查看它是否是OCaml脚本文件。file")
注意，readFile是我编写的一个函数，用于从构造的full_p
浏览 8提问于2016-06-16得票数 5
回答已采纳
我试图使用警告装饰器([@*ocaml.warning])在本地删除关于特定未使用函数的警告，但是我找不到正确的语法(如果有语法的话)。我使用的是OCaml 4.02.1。在下面的代码中，我有一个dbg函数，它不是导出的，也从未使用过，但是我想对它保持沉默，警告32 (unused value dbg)。
我希望在代码的其他地方保持激活警告，以避
浏览 1提问于2015-11-05得票数 5
回答已采纳
当我学习OCaml要点时，有人告诉我，OCaml中的每个函数实际上都是一个只有一个参数的函数。多参数函数实际上是一个函数，它接受一个参数，并返回一个函数，该函数接受下一个参数并返回.，所以我的问题是如果我做了在OCaml内部，当它编译时，OCaml是否会将它更改为let plus = fun
浏览 2提问于2014-12-23得票数 5
回答已采纳
1回答
我们是否可以在Ocaml中打印一个字符串，而不使用print_string (它是命令式函数)(我不知道是否可以这样说)。我要在纯Ocaml中定义一个函数。谢谢你的帮助。
浏览 3提问于2013-11-30得票数 0
回答已采纳
1回答
我正在使用编写计算器，它能够在运行时计算OCaml表达式。 val f : unit -> float Ocaml_dynloader.Univ_constr.create ()
我可以使用签名unit -> float
浏览 8提问于2017-08-08得票数 1
回答已采纳
1回答
我希望通过将OCaml编译到包含C接口的静态或共享库中，通过C++调用OCaml代码。似乎解释了如何为OCaml创建一个C接口。但是，我如何做到并编译它呢？以及如何获得要加载到我的.h代码中的C++文件？
OCaml运行时系统由三个主要部分组成:字节码解释器、内存管理器和一组实现基本操作的C函数。提供了一些字节码指令来调用这些C函数，由它们在<em
浏览 2提问于2020-04-24得票数 2
回答已采纳
是否可以在运行时检查OCaml中行为不佳的本机函数？这在C/OCaml混合项目中很有用。 // intentional mistake here
// don't us
浏览 2提问于2018-06-03得票数 6
2回答
OCaml中的编译器。
我非常希望避免将任何ISO代码签入项目(尽管对C相当了解；这里的目标是专门学习和使用OCaml )。根据这一点，我需要用OCaml为编译语言编写一个“运行时”，将其与主项目分开编译，然后将其与编译器本身的输出链接起来。不幸的是，它看起来像任何外部函数--即使是那些不接触任何OCaml数据的函数--结构/ OCaml</em
浏览 2提问于2017-10-04得票数 3
3回答
我对OCaml非常陌生，尤其是对js_of_ocaml编译器而言。
是否有人用js_of_ocaml编译了使用Jane Street的应用程序？在编译过程中，我会收到许多“缺少原语”的警告，然后当我尝试使用node运行它时，它们会变成一个实际的异常。我知道，这些原语不能从OCaml移植到JS，它们的实现应该依赖于应用程序，但是对于核心，实际上有数千个原语，而我的程序只使用<
浏览 5提问于2014-02-05得票数 6
回答已采纳
2回答
如果我有一个没有参数的函数，它在一个列表上工作，比如： let listToCheck = function | hd ::(*some code*)let isTrue = listToCheck [1;2;3] in isTrue 现在，listToCheck是在列表上调用的，并且没有参数。因为listToCheck是一个在列表上调用的函数，所以我可以在listToCheck中使用</e
浏览 14提问于2020-06-28得票数 0
回答已采纳
云服务器
ICP备案
云直播
腾讯会议
实时音视频
腾讯云开发者
