在Think 中，作者给出了这个例子： if n <= 0 then
( print_string "Blastoff!"然而，正如书中提到的那样，代码应该对负数起作用，但事实并非如此，代码的逻辑看起来很好，没有任何问题。我想我会把它分享给了解Ocaml的人，看看这里到底出了什么问题。
浏览 17提问于2019-07-14得票数 0
回答已采纳
2回答
我为OCAML找到的所有文档都同意，"+“运算符仅用于整数加法。我有一个函数，需要在每次递归调用中增加一个整数。功能定义：(lst_act x t curr+1)(list_act x t (curr + 1))
瞧，成功了。如果+运
浏览 2提问于2018-02-18得票数 0
回答已采纳
1回答
在ocaml toplevel中，我可以通过键入以下命令来使用“位字符串”包：#camlp4o;;let bits = BITSTRING { data : 32 };;#!/usr/bin/env ocaml#
浏览 3提问于2014-01-20得票数 4
回答已采纳
我已经开始阅读雄辩的Javascript，并且有一个关于创建递归函数来检查均匀度的练习。我用了几种不同的方法，这很简单，但由于某种原因，我不能再用负数了。我让它起作用了，然后可能意外地改变了一些东西，现在它只对积极的东西起作用。
你能告诉我为什么这个代码“错了”吗？(textfield.append只是将一些东西打印到我在html/css文档中创建的文本框中，这样我就可以将练习保存在某种“
浏览 4提问于2017-09-04得票数 1
回答已采纳
我有一个Ocaml的问题，我需要帮助，因为我真的无法解决它。我对编程并不陌生，但Ocaml让我重新考虑我的职业/学术选择。 编写一个从列表中删除所有其他元素的函数。和List.length，所有其他方法都不适用。下面是一个删除列表最后一个元素的函数的示例:显然应该以类似的方式来完成： let rec rm_last_element l = th
浏览 34提问于2021-04-06得票数 0
回答已采纳
1回答
在我的OCaml程序中，我花了相当多的时间一次又一次地为各种类型编写"to_string“。我需要它们来调试，或者因为我需要一个特定的格式化输出。| False ->"#f" 在“真实世界OCaml”中提倡的一种方法是使用核心库的
浏览 0提问于2015-02-15得票数 3
回答已采纳
1回答
我尝试使用递归的概念，但使用for do循环。但是我的程序做不到。例如，如果我想输出4！答案应该是24，但我的输出是12。有人能帮我吗？
浏览 5提问于2015-10-22得票数 2
2回答
我在一个内置的库中找到了一些代码，我有并且需要扩展这些代码。但它似乎被打破了：功能与以下不同：这个程序证明了这一点在这个内部库在这个平台/编译器配置上使用的目标平台上，我触发了默认使用上述宏的默认代码。
所以我的问题是。为什么它不适用于</
浏览 3提问于2014-07-04得票数 2
回答已采纳
众所周知，OCaml拒绝定义像type t = t -> int这样的纯递归类型，Rosetta Code中的Y组合子示例也不起作用。然而，最近我发现像type t = A of (t -> int)这样的递归类型定义的小调整工作得很好。下面的代码是一些概念验证工作，用来检查哪个工作得好。(* OCaml version 4.08.0 *)
(* Precisely, ocaml-bas
浏览 12提问于2020-05-03得票数 1
回答已采纳
Piqi-RPC是为erlang服务的。这是令人困惑的，因为如果您查看源，您可以看到其中一些rpc是用OCaml编写的。关于piqi的文档使得服务似乎公开了Erlang函数。
我的问题都在标题里。
浏览 0提问于2014-11-19得票数 1
回答已采纳
1回答
我试图在非类型化的Racket中模仿OCaml中的递归类型，但我似乎找不到定义递归结构的文档。我将如何映射这个：| Red| Yellow of example * example;; (or/c (Red)
浏览 3提问于2016-10-09得票数 3
回答已采纳
我想知道为什么我不能。这是肯定的，我可以做type 'a entry = Empty | Value of string * 'a * 'a entry;;，所以如果我想递归地定义一个类型，我只能走union路线？
浏览 1提问于2013-03-24得票数 1
回答已采纳
2回答
例如，在单元格B3：=MEDIAN(A1:A3)中，该公式适用于从B3到Bend的所有单元格，但不适用于B1和B2，我尝试编写=IFERROR(MEDIAN(A-1,A1),(MEDIAN(A$1,A1))，但excel不允许负数。还有为什么=MEDIAN("A"&"1:A3")不能工作呢？如何拆分A和3？
浏览 6提问于2020-01-24得票数 0
回答已采纳
我对ReaderWriterLockSlim SupportsRecursion的警告感到困惑
我不明白的是为什么这个警告不适用于内置的
浏览 2提问于2019-02-07得票数 1
回答已采纳
3回答
我正在用OCaml编写一个简单的递归下降解析器。通常(据我所知，从在线教程和书籍中可以看出)，异常用于指示解析失败，例如： TokPlus -> ...)我想这样做的主要原因是，使用选项类型允许我优化我的一些组合子，使其成为尾递归的。
使用选项而不是异常有什么缺点吗？当我开始解析更复杂的结构时，这个决定会咬我的</e
浏览 1提问于2011-10-20得票数 3
回答已采纳
我是ocamlp4的新手。我正在阅读以开始使用它。我正在尝试编写一个小的CamlP4程序，它将获得一个简单的类型，如下所示：并生成t_of_string和t_to_string函数。loc, "Bar")))))), []))
看起来比赛用例中的AST有一个虚假的<
浏览 0提问于2012-01-26得票数 2
回答已采纳
在仔细检查了我的代码之后，问题归结为下面的代码片段main = print $ let a = 10 in我想这肯定与Haskell的懒惰有关，因为相同的代码在OCaml中终止。我不知道原因，因为在最初的代码中，两个a应该被看作是两个不同的变量。我不知道为什么命名它们与程序的语义有任何关系。
浏览 2提问于2014-11-12得票数 5
回答已采纳
我试图用动态数据实现一个自动完整的下拉列表，但是它在下拉列表中没有显示任何建议。我使用的是这个例子- Datalists：，它可以很好地处理预定义的选项标记。datalistOptions"> </datalist>
我确实从PHP脚本接收到数据，并且它们被正确地访问，但我认为问题可能是由于获取延迟造成的。这就是为什么它可能适用于现有的数据。下面是fe
浏览 2提问于2021-12-01得票数 0
回答已采纳
云服务器
ICP备案
云直播
腾讯会议
实时音视频
腾讯云开发者
