当编译一个链接到需要C++标准库(例如LLVM的OCaml绑定(bind))的库的OCaml项目时，使用-ccg++参数到ocamlc和GCC>=4.4生成形式极其冗长的警告:warning:deprecatedconversionfromstringconstantto‘char*’如何删除这些警告？ 最佳答案 问题源于ocamlc生成中间C代码，当较新版本的GCC在C++模式下编译时会触发警告。但是这个生成的代码不需要编译为C++。对于针对包装的C++库构建的这种常见情况，通过-ccg++的唯一原因是确保构建C++标准库依赖项。
我需要创建一个union体，但union体的2个成员具有相同的类型，因此我需要一种方法来识别它们。例如在OCaml中:typeA=|Bofint|Coffloat|DoffloatBoost.Variant似乎不支持这种情况，是否有已知的库支持这种情况？ 最佳答案 如果你想这样做，我认为你最好的选择是将相同但不同的类型包装到一个结构中，然后让boost变体访问正确的类型:structSpeed{floatval_;};structDarkness{floatval_;};您可能能够使用BOOST_STRONG_TYPEDEF自动执行
我想在OCaml和C++之间架起一座桥梁。例如，我想在C++中使用一些用OCaml编写的结构。我怎样才能做到这一点？是否有任何库、绑定(bind)？ 最佳答案 您应该阅读语言手册的相关部分:InterfacingCwithOCaml.它非常详细，即使从本质上讲，它的水平低得令人痛苦。如果您不需要C++和OCaml代码之间的紧密通信(例如，您连接GUI代码和计算代码，但应用程序的计算密集型内核不跨越应用程序边界，或者在至少与双方花费的时间相比，通信成本预计可以忽略不计)，我建议您探索更简单的方法，其中C++和OCaml代码在单独的进程
关闭。这个问题不符合StackOverflowguidelines.它目前不接受答案。要求我们推荐或查找工具、库或最喜欢的场外资源的问题对于StackOverflow来说是偏离主题的，因为它们往往会吸引自以为是的答案和垃圾邮件。相反，describetheproblem以及迄今为止为解决该问题所做的工作。关闭9年前。Improvethisquestion所以我有很好的OCaml代码(50000行)。我想将它移植到C。那么有没有免费的OCaml到C转换器？
我正在阅读https://realworldocaml.org/(顺便说一句，这是一本了不起的书)并且所有示例都假定使用JaneStreetCore库。我还不熟悉OCaml环境，想在我的Windows笔记本电脑上学习这本书——不要纠结于细节，有没有一种简单的方法可以让这些库在Windows上运行？这个问题的答案可能会帮助许多想在Windows上开始使用这些库的人。如果没有，那么也许这本书足以说服我切换操作系统；)编辑-刚刚发现目前没有支持，但正在处理中。有没有大致的时间表？ 最佳答案 我建议您使用虚拟机，例如VMwareWorkst
关闭。这个问题是opinion-based.它目前不接受答案。想要改进这个问题？更新问题，以便editingthispost可以用事实和引用来回答它.关闭去年。Improvethisquestion最近，Facebook发布了Flow，这是一个主要在OCaml(https://code.facebook.com/posts/1505962329687926/flow-a-new-static-type-checker-for-javascript/)中实现的JavaScript静态类型检查器。Hacklang(带静态类型检查器的PHP)也主要用OCaml编写。所以，我想知道OCaml在
关闭。这个问题是opinion-based.它目前不接受答案。想要改进这个问题？更新问题，以便editingthispost可以用事实和引用来回答它.关闭去年。Improvethisquestion最近，Facebook发布了Flow，这是一个主要在OCaml(https://code.facebook.com/posts/1505962329687926/flow-a-new-static-type-checker-for-javascript/)中实现的JavaScript静态类型检查器。Hacklang(带静态类型检查器的PHP)也主要用OCaml编写。所以，我想知道OCaml在
我正在用OCaml编写Golang编译器，参数列表让我有点头疼。在Go中，您可以通过以下方式对相同类型的连续参数名称进行分组:funcf(a,b,cint)===funcf(aint,bint,cint)你也可以有一个类型列表，没有参数名称:funcg(int,string,int)这两种风格不能混搭；要么所有参数都被命名，要么都没有。我的问题是，当解析器看到一个逗号时，它不知道该怎么做。在第一个示例中，a是类型的名称还是变量的名称以及更多变量？逗号具有双重作用，我不确定如何解决这个问题。我正在为OCaml使用Menhir解析器生成器工具。编辑:目前，我的Menhir语法完全遵循htt
我正在用OCaml编写Golang编译器，参数列表让我有点头疼。在Go中，您可以通过以下方式对相同类型的连续参数名称进行分组:funcf(a,b,cint)===funcf(aint,bint,cint)你也可以有一个类型列表，没有参数名称:funcg(int,string,int)这两种风格不能混搭；要么所有参数都被命名，要么都没有。我的问题是，当解析器看到一个逗号时，它不知道该怎么做。在第一个示例中，a是类型的名称还是变量的名称以及更多变量？逗号具有双重作用，我不确定如何解决这个问题。我正在为OCaml使用Menhir解析器生成器工具。编辑:目前，我的Menhir语法完全遵循htt
我正在尝试安装GODI在Linux(Ubuntu)上。它是ocaml语言的图书馆管理工具。实际上，我之前已经安装过这个--两次，但不久前--没有任何问题--我记得--但这次我就是想不通我错过了什么。$./bootstrap--prefix/home/nlucaroni/godi$./bootstrap_stage2.:1:godi_confdir:notfoundError:Commandfailswithcode2:/bin/shFailure!我已将正确的目录添加到路径中，它们显示为快速echo$path，并且godi_confdir报告为:/home/nlucaroni/godi
