1回答
我正在使用编写计算器，它能够在运行时计算OCaml表达式。 val f : unit -> float Ocaml_dynloader.Univ_constr.create ()
我可以使用签名unit -> float加载函数，例如，并
浏览 8提问于2017-08-08得票数 1
回答已采纳
2回答
在OCaml中有一个伪造数据库连接的测试替身是怎么回事？
假设您想要在数据库上测试一个小型应用程序接口，其工作方式是为应用程序接口公开的每个函数提供一个Connection类型。更重要的是，鉴于OCaml强大的类型系统已经确保您不会犯奇怪的错误，这种测试在OCaml中是常见的吗？
浏览 0提问于2011-08-20得票数 7
我试图在OCaml中模拟一个接口，并使用“类型”结构。我有两种类型：type fooConBar = {a:string; b:int; bar:char};;let fsb = {a="a"; b=3};;
...but被告知未定义条形图字段。由此看来，与我在匹配fooSansBar签名时传递的值相反，系统认为我正在尝试创建一个f
浏览 0提问于2009-03-21得票数 9
我在OCaml工作，需要编写一个函数它在不使用递归的情况下反转列表lst。我认为我也不能使用迭代方法，比如for-循环。我不能使用List库函数。我不能定义某种数据结构，它允许我以相反的顺序与元素进行接口。它必须是一个非常光秃秃的OCaml实现。
考虑到这些限制，我真的想不出有什么办法可以做到这一点。我真的不知道从哪里开始。在我的技巧中，处理任意列表时，惟一的两件事是递归和迭代。
浏览 1提问于2022-09-27得票数 1
回答已采纳
1回答
嵌入ocaml解释器
、、、
我有一种很小的语言，它基本上是OCaml的扩展(实际上它是OCaml子集的扩展，但这无关紧要)。为了简化事情，我有一个“转义”表达式，它将OCaml文本传输到我的语言中(因此您可以将任意OCaml代码嵌入到这种语言中)。将这样的表达式编译到OCaml只意味着打开字符串，但是如何计算它呢？当然，我理解OCaml是一种静态类型语言，以及该类型系统一般
浏览 1提问于2014-10-14得票数 2
回答已采纳
我已经习惯了OCaml，在这里，我非常依赖result类型，以及一个一元接口来处理应用程序中的故障。异常确实存在于OCaml中，但我很少使用它们，除非不使用return关键字。在球拍(特别是类型球拍)中有这样的趋势吗？在Racket应用程序中处理和传播失败的惯用方法是什么？
浏览 1提问于2017-06-08得票数 5
回答已采纳
我想了解OCAML对象这种行为的原因。假设我有一个类A，它调用另一个类B的对象的方法。从原理上讲，A#f调用B#g和B#h。OOP中的通常做法是，我希望避免使用B作为固定的具体类，而是只声明B的接口。. > as 'a) -> int where 'a这种行为是众所周知的: OCAML正确地推断b具有开放对象类型<g:int;h:i
浏览 1提问于2012-06-24得票数 7
回答已采纳
2回答
我试图转储OCaml项目中所有标识符的类型信息，这基本上与遍历类型化抽象语法树()相同。因为我对OCaml编译器的代码库并不熟悉，所以我不确定编译器是否提供了apis，这样我们就可以轻松地编写一个插件来完成这项工作，还是我们必须破解编译器的代码？另外，这是如何与OCamlbuild交互的？谢谢你的暗示和建议。
浏览 2提问于2015-02-08得票数 4
回答已采纳
为什么Scala选项类型没有被调用，就像在Haskell中一样？Scala中的选项可能没有被调用，有什么特别的原因吗？
浏览 0提问于2013-08-09得票数 15
回答已采纳
1回答
我是OCaml的完全初学者，但我经常看到类似于以下介绍性示例的代码在这个片段中，困扰我的是List.fold的明确使用。在我所知道的大多数语言中，容器的显式类型将通过使用接口、特征或类型来抽象，这样就可以重用这些代码来对数组或任何其他顺序容器进行求和。
有什么OCaml方法可以使这更通用呢？
浏览 2提问于2014-11-16得票数 4
回答已采纳
16回答
我有OCaml的经验。您必须为每个函数编写存根，以便转换类型，甚至是C <-> OCaml int。连接是痛苦的一口井。我甚至不想讨论映射C++对象的问题。编辑2:
请说得具体一点。"X可以调用C“没有给出太多的信息。
浏览 12提问于2009-08-15得票数 13
回答已采纳
我从C++模板、Java泛型和C#泛型之间学到了区别，这有助于我更好地理解如何以不同的方式正确地使用它们。为了帮助我学习在OCaml中使用泛型，哪种语言的泛型是OCaml中类似于C++、Java或C#的泛型类和函数？因为OCaml的函数是隐式参数
浏览 3提问于2017-09-20得票数 3
回答已采纳
2回答
我想写一个OCaml库，它将被其他编程语言使用，比如C甚至python。这是可行的吗？我认为像Corba这样的东西不太适合ocaml ABI，但我可能错了。
编辑:通过放弃运行时需求，只使用具有llvm前端的语言，我想我可以使用llvm作为常见的ABI，但它似乎很棘手。
浏览 1提问于2012-10-26得票数 4
回答已采纳
假设我有一个变量：Magic_code应打印存储在a中的内存中的地址。有没有类似的东西？我用谷歌搜索了一下，但什么也没找到...
浏览 2提问于2013-10-31得票数 1
在编辑ocaml文件(*.ml)文件时，每当我使用<Leader>t打开CommandT时，vim都会说“没有找到任何类型注释(.annot)文件”。当我使用<Leader>s切换同步时，vim转到当前文件的接口文件(x.ml到x.mli)。("visual")<CR>`<
n <Plug>OCamlPrintType * :<C-U>call Ocaml_print_type("normal")&
浏览 2提问于2014-11-05得票数 1
回答已采纳
1回答
假设我有以下abstractProductA类，它有一个名为methodA的公共方法： pub methodA => "name";我想创建一个接口类似于 abstractProductA(): string只有在合理的情况下，才能让类实现它。任何建议都是非常欢迎的。谢谢
浏览 2提问于2017-09-19得票数 3
回答已采纳
1回答
我正在建模的游戏呈现为一系列大约200个相互连接的节点，如下所示。给定对手的已知起始位置(例如，下图中的节点84 )，目标是确定对手藏身之处的可能位置。对手离开84的动作，自然是未知的。到目前为止，我已经使用OCaml的ocamlgraph库的一个实现将电路板本身建模为一个无向图。我现在尝试做的是通过图形对对手所走的路径进行建模，以便在每次转弯后识别对手的潜在位置
浏览 0提问于2018-05-14得票数 1
1回答
我希望通过将OCaml编译到包含C接口的静态或共享库中，通过C++调用OCaml代码。似乎解释了如何为OCaml创建一个C接口。但是，我如何做到并编译它呢？以及如何获得要加载到我的.h代码中的C++文件？
OCaml运行时系统由三个主要部分组成:字节码解释器、内存管理器和一组实现基本操作的C函数。提供了一些字节码指令来调用这些C函数，由它们在函数表(原语表)中的偏移
浏览 2提问于2020-04-24得票数 2
回答已采纳
1回答
我了解到可以创建接受任意类型的函数，如下所示：但是我找不到一种方法来利用函数内部的类型信息，如下所示x : int) -> print_int x | _ -> print_string "***";;
这真的是不可能的吗如果是的话--这种限制的
浏览 4提问于2014-01-07得票数 1
回答已采纳
云服务器
ICP备案
腾讯会议
云直播
对象存储
腾讯云开发者
