1回答
我想要有条件地执行命令#use "a.ml“，即在'if statement‘中，如下所示... `| (false)-> #use "2.ml";;` is there any way of doing it?
浏览 0提问于2014-01-28得票数 0
1回答
Coq中的类型封装
、、、
是否有一种方法可以在Coq模块中定义类型，但封装构造函数？
我希望模块的客户端能够使用该类型，而不是构造该类型的成员，类似于使用抽象类型在OCaml中所做的工作。
浏览 3提问于2015-05-12得票数 3
回答已采纳
1回答
我看到的关于GADT的所有教程(在Haskell、Coq和Idris中)都使用一个类型良好的解释器的相同的exapmle来展示GADT如何有用，其中使用类型索引在对象语言中编码术语的类型。
当我们认为GADT是一种解决方案时，还有哪些其他的例子和一般规则？
浏览 0提问于2017-02-27得票数 4
1回答
当在Ocamel中看到模块的文档时，例如在Graphics模块中有类似的东西或者在以交互模式编写函数时：有val x : unit -> int = <fun>，val是什么，它是用例吗？
浏览 2提问于2020-03-03得票数 5
回答已采纳
2回答
我已经在我的xfce上安装了OCaml，现在我想做一些图形程序。问题是我不知道如何安装graphics.cma (我认为这是我需要的文件，但我不确定)。我和ls $(ocamlc -where) | egrep cmx?a一起发现了这个谢谢你帮我伙计们。祝您今天愉快
浏览 2提问于2018-11-21得票数 1
回答已采纳
2回答
在OCaml中，模块和类有什么区别？
这两种机制都提供了抽象和封装、子类型(通过在对象中省略方法和在模块中省略fi屏蔽)和继承(对象使用继承；模块使用包含)的机制。一方面，对象有一个优点:对象是first类值，而模块不是--换句话说，模块不支持动态查找。另一方面，模块有一个优点:模块可以包含definitions类型，而对象不能。首先，我
浏览 2提问于2013-07-16得票数 15
回答已采纳
5回答
我正在寻找一个容器，它通过封装的元素提供最快的无序迭代。换句话说，“添加一次，迭代多次”。...But，在我看到几个答案之后，它看起来，它不是。当然，有很多数据结构允许O( n )通过大小为n的容器进行迭代，但我要解决的任务就是其中之一，其中O(n)和O(2n)之间的区别很重要;-)。问题是，我应
浏览 5提问于2010-01-05得票数 10
回答已采纳
我正在将几个基于OCaml的模块转换为F#，并从OCaml格式模块运行到打印格式化函数OCaml。在阅读了打印盒的概念后，它是有意义的，但它似乎需要在幕后进行大量的工作才能实现。是否有功能等价的F#模块？在上有一个版本作为OCaml格式的一部分，我还没有测试过它，但它是我目前发现的最复杂的版本。
浏览 0提问于2012-05-01得票数 4
回答已采纳
1回答
我希望构建一组相关的函数，这些函数被函数变量参数化(函数封装了一个坐标转换)。我知道这在OCaml中也是可能的，但我也读过，在OCaml中，通常最好使用模块(我猜想这里是函子)。val make_set_of_function
浏览 0提问于2016-10-14得票数 3
2回答
当我试图运行一个文件时我正在得到和错误的说它是一个未绑定模块。我执行了以下opam指令：它确实安装了正确的软件包。所以我认为问题在于模块和包之间的区别，这一点我并不真正理解。我把这个问题看作是一个可能的答案，但我不确定这是否是我所需要的。感谢大家的投入，我对Ocaml很陌生，我正在努力学习构建一些东西的细节。
浏览 1提问于2013-05-22得票数 6
回答已采纳
1回答
OCaml mod中的模块化函数返回的结果与python中的模块化运算符不同。OCaml:- : int = -1>>> -1 % 4为什么结果不同？
是否有在%中作为OCaml操作的标准模块功能？
浏览 3提问于2017-10-15得票数 7
回答已采纳
1回答
我正在将我的应用程序从OCaml 4.02.3移植到4.03.0。' lexer.byte --Warning 31: files lexer.cmo and /Users/vladimir/.opam/4.03.0+flambda/lib/ocaml", line 1:不过，我知道compiler-libs也有一个名为Lexer的
浏览 6提问于2016-05-24得票数 2
我正在尝试加载OCaml的默认图形模块，但OCaml似乎无法加载它或任何其他模块。我想做的是： OCaml version 4.02.1
Error: Unbound value load
无论我试图加载哪个模块，问题都会持续存在，所以我认为问题在于ocaml安装，而不是模块。我尝试过重新安装OCaml，但这也没有帮助
浏览 7提问于2015-12-18得票数 1
回答已采纳
我的问题是，Standard ML的模块系统和OCaml模块系统有什么不同？是否拥有OCaml所有函数器、属性等的支持。SML有吗？
浏览 0提问于2013-03-23得票数 42
回答已采纳
4回答
我用C++和Java编写了一些状态机，但从未使用像Ocaml这样的函数式语言。问题是，我不知道我是否能够调整来自对象语言版本的代码，因为在Ocaml中，记录和变体比类更强大；谢谢:)
编辑 16/03 :在没有可变状态的情况下可以这样做吗？我想用"FSM“的名称正确地封装它，我应该选择一个模块还是一个类？
浏览 1提问于2012-02-24得票数 15
回答已采纳
在ocaml中是否可能有一个.ml文件，它提供了一个从另一个文件中使用的函数，但也可以作为一个独立的程序使用？谢谢!
浏览 2提问于2016-03-24得票数 2
回答已采纳
据我所知，OCaml确实提供了并发性，但是没有并行性 ()如果没有两个线程可以同时运行，那么为什么我们仍然需要lock
浏览 4提问于2014-04-14得票数 0
回答已采纳
与许多宽客/对冲基金谈过，我得出的结论是，他们中的许多人似乎正在使用自制语言或OCaml来完成许多任务。他们中的许多人不能回答为什么。我当然可以理解为什么他们在很大程度上不想使用C++，但是为什么OCaml在这些用途上比其他脚本语言更好呢？
浏览 1提问于2009-12-18得票数 26
回答已采纳
云服务器
ICP备案
云直播
腾讯会议
实时音视频
腾讯云开发者
