该语言的三个主要构造是定义、语句和表达式。定义可以包含语句和表达式，语句可以包含定义和表达式，一种表达式可以包含语句。我使用联合类型来表示所有这些类型，所以我可以很容易地对它们使用模式匹配。理想情况下，我希望将这些代码放在不同的文件中，但OMake抱怨循环依赖问题。据我所知，跨模块的循环类型定义是不允许的。据我所知，解决这个问题的唯一方法是同时定义所有三种类型：and stmt = ...
and e
浏览 0提问于2008-08-30得票数 17
回答已采纳
我已经习惯了OCaml，在这里，我非常依赖result类型，以及一个一元接口来处理应用程序中的故障。异常确实存在于OCaml中，但我很少使用它们，除非不使用return关键字。在球拍(特别是类型球拍)中有这样的趋势吗？在Racket应用程序中处理和传播失败的惯用方法是什么？
浏览 1提问于2017-06-08得票数 5
回答已采纳
1回答
OCAML中的循环依赖控制
、、、、
编辑模块A称为Map.mllet is_coliding顺便说一句，，其他编程语言是怎么做到的呢？我从来不关心C#中的这种依赖！谢谢
浏览 1提问于2009-04-06得票数 1
回答已采纳
我想将我的OCaml发行版从4.01版本更新到4.02版本，特别是ocaml-nox包。这打破了其他几个显式要求4.01包的依赖关系。在我的例子中，libctypes-ocaml[-dev] v0.2.3、libfindlib-ocaml[-dev] v1.4.1和ocaml-findlib v1.4.1都有这种依赖关系。我找不到依赖包的更新，维护人员在一条线上告
浏览 0提问于2015-08-18得票数 3
回答已采纳
2回答
我试图协调引用透明性的定义与OCaml处理多态类型和副作用的方式。我在上读到
如果定义的含义不取决于其所处的上下文，则称其具有参考透明度。OCaml中的函数具有引用透明性，也就是说，更改上下文(其他变量和其他函数)不会改变您已经定义的任何函数的含义。在调试程序时，这一事实可能是至关重要的，因为您很可能经常重新定义函数。但就我所理解的情况而言，这在OCam
浏览 1提问于2011-05-22得票数 3
回答已采纳
1回答
想象一下，OCaml中的一个库可能需要将其数据存储在某个地方。这个持久层可以用不同的库(sqlite、MySQL、PostgreSQL等)来实现。并根据具体的存储技术，可以提供不同的特点和性能保证。管理此类库的外部依赖关系的可能方法是什么？比方说，如果我使用MySQL进行开发，我不想引入编译时或运行时对sqlite的依赖关系。在C++中，我可能使用抽象接口，并将具体的</e
浏览 2提问于2014-08-13得票数 3
回答已采纳
我在ocaml中看到了一些关于循环依赖的问题，但它们都是关于类型之间的依赖关系的。let rec eval e r = (* ... *) let predFunCall(p, (evTToExp h))) env0)::
浏览 3提问于2020-12-18得票数 2
回答已采纳
1回答
我正在尝试将一些C++/cmake代码与一些OCaml代码链接起来。如果C++端很简单，我只需将其对象文件添加到ocamlopt中即可。如果OCaml端很简单，我会将它的对象文件添加到cmake中。但它们都是复杂的程序，有很多依赖关系。目前，我已经让它正常工作了，但它有点像黑客：
add_custom_command(输出ocaml_main.o<e
浏览 1提问于2014-02-09得票数 2
回答已采纳
晚上好，Debian 11发布后，我试着在上面安装Ocaml。这个问题依赖于下面的库，Ocaml依赖于这个库: libgtksourceview-2.0dev。在Debian 11上，它不再受支持，因此，在安装Ocaml和Opam之后，以及它们所有的依赖项，都不可能使用Opam来安装Ocaml。有人有同样的问题吗？你是怎么解决的？亚历克斯
浏览 5提问于2021-12-17得票数 0
1回答
假设我希望创建一个OCaml程序，该程序获取一个整数列表，并创建第一项的两倍、第二项的三倍和第三项的两倍，依此类推。;;
let foo = maths_stuff [1;2;3;4;5;6] (* Should be 54 *) 目前我得到了一个Error: Unbound value tripler错误，因为OCaml不知道它是什么，但是我不能在不使用doubler的情况下重新排序这两个函数。指定两个函数之间的循环依赖关系<em
浏览 13提问于2020-06-29得票数 0
回答已采纳
1回答
这里是我的makefile (GNU )来编译一个小型OCaml程序：OCAML=ocamloptOFLAGS=
.PHONY: all cleanLstream模块的函数。在这种情况下，ocaml链接器要求按依赖顺序(例如：ocamlopt -o playground lstream.cmx playground.cmx)指定文件链接。尽管我按照正确的顺序定义了playground规则的依赖
浏览 2提问于2013-12-14得票数 3
回答已采纳
3回答
我一直在使用函数式语言(特别是F#)，我真的很喜欢它的不可变/概念。然而，我对如何在函数式语言中表示有状态的东西有点迷惑。class state int current_time; return
浏览 0提问于2011-06-19得票数 8
回答已采纳
我现在正在学习OCaml，想知道是否可以让Notepad++负责解释我的脚本，并在编译器窗口中显示输出？
谢谢!
浏览 2提问于2009-08-28得票数 3
回答已采纳
我试图将DuckDuckGo API安装在OCaml中，具体如下所示：DuckDuckGo.query_record"ocaml" >>| function| Error _ -> print_endline
浏览 0提问于2018-03-15得票数 0
回答已采纳
2回答
我有兴趣了解bazel是否能够处理“两阶段构建”，在这种情况下，依赖项是根据文件内容和依赖项发现的，必须在依赖它们的代码之前编译它们(与C/C++不同，C/C++依赖项主要是没有单独编译的头文件)。具体来说，我正在构建Coq语言，它类似于Ocaml。
创建构建计划的直觉是使用一个(现有的)工具(称为coqdep)来读取.v文件并返回其所有直接依赖项的列表。下面是
浏览 3提问于2020-12-19得票数 5
回答已采纳
当我时，我得到了：
此开关的基座(使用--unlock-base强制)
/home/hengxin/opam-coq.8.9.0/ocaml-base-compiler.4.02.3/bin/ocaml
浏览 1提问于2019-05-02得票数 0
回答已采纳
1回答
我已经下载了ocaml的xml-light，并尝试编译它，但从来没有成功过，问题如下。
当我输入ocamlopt dtd.ml时，会出现错误Unbound module Xml。
浏览 1提问于2011-05-06得票数 1
回答已采纳
1回答
在Haskell和Scala中有很多关于依赖类型的信息。对于OCaml来说，没那么多。是否有人有足够的技能在OCaml中提供如何实现这一目标的编码示例(如果有可能的话)？当然有(被抛弃的) ，但似乎不可能将这些东西合并到“常规”OCaml代码中。顺便提一下，值得一提的是OCaml 分支，
浏览 2提问于2013-03-28得票数 14
回答已采纳
1回答
出于学习的原因，我想在OCaml中使用For循环，而不是递归。我做了一点研究，并应用了一个(https://ocaml.org/learn/tutorials/camlp4_3.10/foreach_tutorial.html)的例子： let a_list =因此，我不能做这样的事情(其中'a'，'b'，...是任何类型的变量)： let a_list = [a;b;c
浏览 12提问于2020-09-23得票数 0
回答已采纳
我正在尝试编译一个带有调试器标志-g的OCaml文件，并在文件中使用以下行-- #use "file2.ml“。为什么只要我有use关键字，文件就不能编译？"#use“关键字到底是做什么的？
浏览 1提问于2015-04-11得票数 1
云服务器
ICP备案
云直播
腾讯会议
实时音视频
腾讯云开发者
