1回答
当你在ocaml中输入时，有没有办法知道Ocaml中的东西是什么类型的？ 例如，在python中，如果你输入："type(3)“，你会得到int。ocaml中的等价物是什么？
浏览 20提问于2021-03-23得票数 0
1回答
我来自Javascript背景&我试图了解我需要如何构造/构建一个使用Reason/Ocaml的模块系统的程序。作为一项练习，假设我想用OCaml/R伊编写这段javascript (将通过js_of_ocaml将其编译回js )
var TeaType = new GraphQLObjectType({我是否应该使用另一个模块来通过GraphQLObjectType在js中通过js_of_ocaml生成一个js_
浏览 5提问于2016-05-31得票数 1
回答已采纳
2回答
我试图编写的一种代码是，在将列表转换为数组之后，询问它的类型。我知道在Haskell (:t)这样的语言中有一些运算符，我们可以在这些语言中要求变量的类型。对于:t，ReasonML有什么等价的地方吗？或者检查Array.of_list是否返回数组是没有意义的，因为编译器确保.
浏览 3提问于2018-01-02得票数 3
回答已采纳
1回答
我是一名学生，我正在做一些项目，其中我需要使用ocaml编写的代码。我想用Go写一个项目。为了理解如何从ocaml中转移代码，我决定用下面的代码编写hello world - application： hello.ml let print_hello =;; 接下来，我使用opam沙丘构建了一个共享库(`*.so)： $ dune build hello.so 根据这个topiс，我尝试用cgo从库中
浏览 20提问于2020-03-20得票数 0
4回答
在OCaml中扩展现有类型
、、、、
我最近一直在做一些OCaml编程，以学习这门语言并更好地了解函数式编程。最近，我开始认为我希望能够扩展现有的类型(无论是内置的-还是我自己的类型)，例如： And of bexp * bexp| Xor嘿，这些应该是代数数据类型，对吧？那么为什么不这样做呢：...but这不是有效的OCaml，它给出
浏览 0提问于2009-11-17得票数 20
回答已采纳
我正在努力掌握OCaml语言的语法，但在应用一些OOP结构时遇到了一些问题。我使用以下代码的目标是拥有一个继承自虚拟类foo的类栏。这个虚拟类包含三个虚拟方法，我希望以"player“对象的实例作为参数。当我编译下面的代码时，我得到了一个错误:方法doThis的类型是'a -> 'b，但它的类型应该是Player.这是什么意思(记住，我是新手)，我该如何去纠正它？
谢谢!
浏览 1提问于2009-02-01得票数 4
回答已采纳
1回答
我在上读到，ML方言不允许非地面类型的类型变量。c = c Int -- ML do not allow :c
OCaml对类型定义不遵循“新鲜度”限制:构造type既可以定义别名(类型保持不变)，也可以定义新
浏览 5提问于2019-11-10得票数 3
回答已采纳
我试图在OCAML中增加两种int类型，但我不确定自己可能做错了什么。更新：我很好奇这意味着什么Multiplication.
我们如何知道这个方法需要多少参数？
浏览 1提问于2015-09-20得票数 0
回答已采纳
最近，Facebook发布了Flow，它是JavaScript的静态类型检查器，主要在OCaml ()中实现。
Hacklang (带有静态类型检查器的PHP)也主要用OCaml编写。所以，我想知道OCaml对于静态类型检查器有什么独特的好处？
浏览 5提问于2014-11-19得票数 35
回答已采纳
2回答
我想仔细看看OCaml中类型推断的实现，我的OCaml似乎安装在/usr/local/lib/ocaml中，但.ml内部似乎没有包含类型推断的代码……
有人能帮上忙吗？
浏览 0提问于2012-11-29得票数 1
回答已采纳
2回答
我想用OCaml分析OCaml文件(.ml)。我想把这些文件分解成抽象语法树进行分析。我尝试过使用camlp4，但没有成功。以前有没有其他人成功地做到了这一点？这是解析OCaml文件的最佳方法吗？
浏览 4提问于2014-04-23得票数 5
3回答
我对OCaml非常陌生。你能给我举一个新手能理解的最简单的OCaml多态性的例子吗？我了解Java、C#和C++，对函数式语言也有一定的了解。
浏览 3提问于2013-01-21得票数 0
1回答
当我将以下Coq数据类型提取到OCaml时：Inductive Bar (f:Foo) := | C | D.Extraction Language Ocaml.type foo =| B
| C“bar”类型不同于Coq的类型，因为它的类型签名
浏览 2提问于2017-08-09得票数 4
回答已采纳
我的目标是通过获取两个流，将它们压缩在一起，颠倒顺序，并应用我的差分函数来生成三元组而不是二元组，从而理解这些流。三元组中的第三个数字并不总是"-1“。stream =我的错误消息处理惰性流的小函数很容易，但在Ocaml中分段构建函数并将其组合在一起就更难了。
浏览 0提问于2020-05-12得票数 0
1回答
假设我有一个由多个多态变量(协变)组成的类型，如下所示： [> `Ok of int | `Error of string] 让我们进一步假设，我希望将此定义分解为某种类型构造函数和一个具体的类型int我的第一次尝试是这样的： type 'a error = [> `Ok of 'a | `Error of string] 然而，使用这样的定义会产生一个非常奇怪的类型错误，它提到了一个
浏览 20提问于2020-01-21得票数 5
回答已采纳
在将OCaml 转换为F#的过程中，我发现我需要详细了解初始化过程。对于F#，这在F#规范的小节中进行了解释。虽然页面列出了几个很好的文档，但我找不到任何文档提供与F#规范中相同级别的详细信息。是否有为OCaml初始化提供相应详细级别的文档？
浏览 0提问于2012-09-18得票数 5
回答已采纳
我正在将几个基于OCaml的模块转换为F#，并运行到OCaml‘’Quot.add‘编译器的引号扩展程序中。
是否有人能确认F#不支持OCaml‘’引号的概念。添加‘编译器指令’或OCaml引号扩展器的概念。编辑
注意
浏览 3提问于2012-05-02得票数 4
回答已采纳
当我在交互环境( OCaml或utop)中执行以下命令时，"int“类型的所有表达式最终都是"int/2”类型。这种行为可以复制如下。# 3;;type int
- : int = 3
更新:在上述情况下使用了OCaml版本4.08.1。
浏览 3提问于2020-02-21得票数 2
回答已采纳
我想了解OCAML对象这种行为的原因。假设我有一个类A，它调用另一个类B的对象的方法。从原理上讲，A#f调用B#g和B#h。OOP中的通常做法是，我希望避免使用B作为固定的具体类，而是只声明B的接口。在OCAML中，实现这一点的最佳方法是什么？我尝试了几个选项，但我不太明白为什么其中一些选项可以工作，而另一些选项则不能工作。. > method f : 'a -&g
浏览 1提问于2012-06-24得票数 7
回答已采纳
云服务器
ICP备案
云直播
腾讯会议
实时音视频
腾讯云开发者
