我想实现递归的嵌套函数。如何做到这一点？我在下面的代码“期望的运算符”中得到一个错误。else false ) then true这里，lst =任何列表(例如1;2;3) f1任何特征函数，如果元素在特征函数定义的集合中，则返回true。(例如，设f1 x=(xmod3 == 0 && x<=15)；)如果lst是特征函数的幂集合的成员，则powerset_cf函数返回true
浏览 9提问于2016-08-29得票数 1
回答已采纳
在其他语言中，我更喜欢排列源文件，以便在实现细节之前引入更简单和更广泛有用的概念，并在可能的情况下尝试将复杂的实现细节设置为顶层函数，以便将它们分离出来，并让主函数像高级算法描述一样读取。OCaml显然有接口/源的区别，但是即使有稀疏的文档化的接口，如(** Blah blah blah *)
(
浏览 0提问于2012-09-12得票数 3
回答已采纳
3回答
我是Ocaml的新手，正在编写代码来替换嵌套Ocaml列表中的元素。我的代码如下：我的替换函数(它将嵌套列表中所有出现的元素a替换为b)如下：
let rec subst
浏览 0提问于2013-06-06得票数 0
回答已采纳
如果我在Ocaml中的列表中得到了一组列表，例如[3;1;3；4；1;2;3]，那么我们如何实现一个函数来返回一个列表，该列表是嵌套列表的值的并集(因此示例的输出将返回1;2;3;4)？
浏览 22提问于2021-04-06得票数 0
1回答
我正在研究OCaml中素数分解的实现。我不是一个功能性程序员，下面是我的代码。素分解在prime_part函数中递归进行。primes是从0到num的素数列表。这里的目标是，我可以在prime_part解释器中键入OCaml，并让它在n= 20，k= 1时吐出来。2 + 3 + 7我从一个is_prime教程中改编了all_primes和OCaml。在调用all_primes之前，需要调用prime_part来生成到b的素数列表。我看到List.ittr是OCaml方式，但
浏览 0提问于2017-02-08得票数 0
回答已采纳
我用OCaml编写了以下函数，它接受嵌套对并返回对(a，b)，以便a是所有奇数元素的嵌套对，b是带有所有偶数元素的嵌套对： match xs withlet Pair(a,b) = split_var_val tail in | _ -> raise X_no_match ;;
该函数运行良好Here is an example of a case tha
浏览 1提问于2020-11-30得票数 0
回答已采纳
3回答
我的理解是，“纯OCaml”指的是OCaml中的所有标准功能，包括它的非“纯”功能特性，而“纯功能”指的是通常的属性:没有副作用，没有异常处理等。在这个意义上，“纯OCaml”实现是与C或C++实现相对立的，比如OCaml。
然而，我最近与一个非常坚持“纯OCaml”在某些圈子中意味着OCaml的“纯函数子集”的人进行了一场辩论。在第二个意义上，是否有指向使用“纯OCaml”的受高度重视的源的指针？
浏览 10提问于2016-01-28得票数 4
3回答
是否可以在不使用递归的情况下在OCaml中截断给定元素后的列表？let truncate (elt: 'a) (q: 'a queue) : unit =
我可以考虑如何使用嵌套模式匹配来实现这一点...寻找一种更好的方法而不需要记录
浏览 2提问于2017-02-21得票数 0
我想编写和编译cubes.ml，以便它封装一个OCaml函数，使JS函数可以在web中调用；2) OCaml函数和字节码仍然可以在Linux下的命令行中进行测试。-linkpkg cubes.ml -o T
我已经测试过其他JS或cubes.js文件可以很好地调用cubes.js的函数。所以我的目标已经实现了。:testwe
浏览 4提问于2016-05-19得票数 2
1回答
我对如何在OCaml中实现嵌套函数有问题，我需要一个函数的输出(列表)作为另一个函数的输入。两者都应该是递归的。| h::t -> h ^ " " ^ toString listCleanup sentence toString listCleanup sentence;;
如果我使用函数及其参数作为参数，就会有堆栈溢出，但是如果只使用没有参数的函数，则会得到参数的不匹配。
浏览 3提问于2022-04-10得票数 0
回答已采纳
我正在构建一个JavaScript库，它是用Ocaml实现的，并使用编译成JavaScript。
我的一个Ocaml函数返回一个包含二进制数据的string。如何使用js_of_ocaml将其作为ArrayBuffer公开
浏览 3提问于2018-09-17得票数 5
我正在将几个基于OCaml的模块转换为F#，并从OCaml格式模块运行到打印格式化函数OCaml。在阅读了打印盒的概念后，它是有意义的，但它似乎需要在幕后进行大量的工作才能实现。如果没有，那么在不转换OCaml格式模块的部分内容的情况下，有哪些快速而简单的替换函数呢？在上有一个版本作为OCaml格式的一部分，我还没有测试过它，但它是我目前发现的最复杂的版本。
浏览 0提问于2012-05-01得票数 4
回答已采纳
在Pervasives中，compare函数是外部函数。
如果有人要求我在OCaml中实现这样的函数，该怎么办？这有可能吗？
浏览 1提问于2014-02-28得票数 1
回答已采纳
1回答
我希望通过将OCaml编译到包含C接口的静态或共享库中，通过C++调用OCaml代码。似乎解释了如何为OCaml创建一个C接口。但是，我如何做到并编译它呢？OCaml运行时系统由三个主要部分组成:字节码解释器、内存管理器和一组实现基本操作的C函数。提供了一些字节码指令来调用这些C函数，由它们在函数表(原语表)中的偏移量指定。我认为OCaml可以编译成本机语言。为什么它被编译成字节码并在运行时进行解释？它总是这样，还是只用于用C接口编译
浏览 2提问于2020-04-24得票数 2
回答已采纳
2回答
我有一个项目，我正在工作，我需要在OCaml中实现直方图功能。我必须编写一个函数，该函数将列表作为参数，并以元组列表的形式返回直方图。我觉得我已经很接近了，但我只是需要一些关于如何完成实际直方图函数的帮助/指导。到目前为止，我已经让它检查列表(nl)中可能已经存在的任何东西。如果它还没有包含该数字，我会将其添加到列表中。我的问题是，一旦我将函数添加到列表中，我就不知道如何调用它。请参阅我的代码，了解问题所在。
浏览 0提问于2015-10-30得票数 1
我试图编写一个简单的Ocaml函数，但是我得到了这个错误：
错误:此表达式具有类型单位，但预期表达式为int类型。
浏览 3提问于2014-09-15得票数 0
回答已采纳
2回答
OCaml解析器
、、、、
有人能推荐我一个开源的全OCaml解析器吗？
本质上，我想为OCaml实现自己的类型检查器。理想情况下，解析器是用OCaml编写的。我会用它来获取输入程序的AST。(对于预先填充标准库函数签名的初始类型化环境，可能要求太多了)
浏览 0提问于2015-03-02得票数 0
回答已采纳
4回答
我在过去的18个月里掌握了函数式编程，从学习OCaml开始，到现在已经有几个星期了。现在我想走下一步，实现一些实际的应用程序:一个简单的实时地形编辑器。所使用的递归算法和数据结构似乎非常适合函数实现。
由于这是一个实时应用程序，我自然会寻找我能获得的最佳性能。现在，一些(我觉得挺烦人的) OCaml的支持者经常抱怨Haskell比OCaml或F#慢。但根据哈斯克尔经常击败OCaml，如果只是相当小的分数-仍然存在问题，这个基准测试只采用非常具体的样本。
浏览 0提问于2010-11-30得票数 57
回答已采纳
云服务器
ICP备案
云直播
腾讯会议
实时音视频
腾讯云开发者
