我有以下用OCaml编写的fizbuzz程序(使用一点递归)： let rec fizbuzz_r = if i == 0 thenmod 5 == 0 && i mod 3 == 0 then fizbuzz_rr (i - 1)else
Printf.printf
浏览 31提问于2019-05-27得票数 1
回答已采纳
1回答
考虑下面的OCaml代码： fun n -> ifn < 0 then My([], 2) in My(3::xs, y)
OCaml解释器在foo的最后一行中给出了一个错误类型a#1与<
浏览 4提问于2015-04-14得票数 2
回答已采纳
4回答
我一直在阅读F#文章，它们使用单例变体来创建截然不同的不兼容类型。然而，在Ocaml中，我可以使用私有模块类型或抽象类型来创建不同的类型。在Ocaml中使用像F#或Haskell这样的单大小写变体是很常见的吗？
浏览 27提问于2021-04-26得票数 2
回答已采纳
在安装Haeleth的时，我得到了这个错误：........code 2: ocamlc -c -pp 'camlp4 pa_o.cmo pa_op.cmo pa_extend.cmo q_MLast.cmo pr_dump.cmo' -I /usr/lib/ocamlmatches"; p = patt -> <:expr< match $v$ with [ $p$ -> True
浏览 3提问于2014-09-05得票数 0
2回答
可以通过and关键字在sml中定义相互依赖的数据类型。现在我有两个相互引用的结构，我看到的错误似乎是因为它是相互递归的，但我看不到一种添加and的方法，这种方式可能会起作用。reference to Machine.wordsize这是否可以工作，或者设计是否与sml不兼容？我正在从Ocaml移植代码，显然这在那里是有效的。
浏览 0提问于2013-06-09得票数 3
回答已采纳
c++子获取当前目录中的所有exe文件但是我有一些错误，有人能纠正我吗。编辑：1/ IntelliSense:类型"WIN32_FIND_DATA *“的参数与"LPWIN32_FIND_DATAA”类型的参数不兼容
2/
浏览 4提问于2014-11-09得票数 1
回答已采纳
1回答
然后，我尝试将一组字符串到'a对象列表的映射插入到StringMap中。> StringMap.add key [child] my_map然而，当我编译时，我得到一个错误，说find_opt的绑定有一个未绑定值，即使它是在签名：中定义的。我也尝试过使用StringMap.mem key my_map，但得到以下错误：
Error: This e
浏览 0提问于2018-05-09得票数 3
所以我遇到了一个问题，浏览器与vh，vw单位兼容，与calc()兼容，但与calc中的vh，vw单位不兼容。因此，我不确定如何使用现代测试程序来测试特定的情况。
对此有什么想法吗？非常感谢！
浏览 1提问于2014-12-22得票数 7
6回答
我希望找到编程语言，这些语言允许您定义能够接受自己(即指向自己的指针)作为参数的函数。例如，在JavaScript中： if (y === 0) return;}上面的代码将在我尝试在OCaml中定义类似的函数，如下所示：但是，由于类型
浏览 6提问于2019-04-22得票数 6
回答已采纳
我希望dune utop或其他OCaml顶层能够在代码运行时获取我对代码所做的更改。看起来好像dune utop --watch就是为此而设计的。这是真的吗？我该如何利用它？在我的实验中，dune utop --watch忽略了我保存的对模块源代码的更改。执行dune build命令的变体似乎也无济于事。尽管看起来与dune不兼容，但我也尝试了#use和#mod_use指令，但没有
浏览 15提问于2019-05-25得票数 1
在定义jbuild规范时，如何要求特定的OCaml版本？myjson) (libraries (yojson))))
但是我想使用Unix.unsafe_environment，这在OCaml< 4.06中是不可用的。如何将这个约束添加到包中，以便试图用旧的OCaml编译它的人会得到一个很好的错误消息(而不是更神秘<em
浏览 0提问于2017-11-29得票数 1
回答已采纳
是否可以在运行时检查OCaml中行为不佳的本机函数？这在C/OCaml混合项目中很有用。 // intentional mistake here re
浏览 2提问于2018-06-03得票数 6
1回答
我错误地删除了普罗维登斯主题中的“footer.liquid”文件。“新架构与当前设置值不兼容。块“1523601164583”的类型值无效。必须在架构中定义类型。新架构与当前设置值不兼容。块“1523858388687”的<
浏览 0提问于2018-04-16得票数 2
1回答
我大致知道F#和OCaml在“特性”方面的不同之处(例如，函数器、camlp4、度量单位...)。我想知道以下几点:关于不包含上述功能的代码，F#和OCaml在编码风格(除了命名约定之外)上有区别吗？换句话说，如果一些(惯用的) F#代码可以直接(可能微不足道地)转换成OCaml，那么这种转换必然会导致惯用的Ocaml吗？编辑:从Guy Coder提供的链接中，我猜测一些“惯用的”
浏览 5提问于2016-04-21得票数 24
回答已采纳
我正在尝试使用，它要求在它称为"atd文件“中定义要转换为JSON的OCaml对象的类型。mutable data: ('a, 'b) bucketlist array; initial_size: int; 编译器会弹出一个：
错误:此变体或记录定义与('a，'b) Hashtbl.t类型不匹配。它们的种
浏览 4提问于2015-03-11得票数 1
回答已采纳
2回答
在包含(我怀疑是所有)必要的库之后，我在编译时得到以下错误：Error: Files /[...]基本上，不知何故，xmlrpc-light.cma和stdlib.cma没有假定相同的缓冲区接口，这会在编译时产生类型错误。但是，如何在不更改这些库的代码的情况下协调它们呢？根据Ygrek和Gasche的回答进行编辑
从这两个答案
浏览 1提问于2011-07-05得票数 2
回答已采纳
2回答
我想编写一个模块(在Ocaml 3.12中)，它能够将变体类型定义为现有不同类型的聚合看起来可能是这样的：当然，我想要分解它的创建。首先，我尝试创建一个由函子参数化的模块‘组合’：
module Composite ( T0 : sig type t
浏览 2提问于2012-04-28得票数 1
回答已采纳
云服务器
ICP备案
腾讯会议
云直播
对象存储
腾讯云开发者
