1回答
因此，当我尝试推送到堆栈时val s : unit -> 'a Stack.t = <fun>在utop或ocaml toplevel中，我得到一个错误 but an expression was
浏览 0提问于2018-01-22得票数 2
回答已采纳
如果我们执行not-tail-recursive函数，ocaml将创建一个堆栈并在其中推送信息。如果我们递归调用太多次，就有可能得到stack overflow错误。
那么门槛是多少？函数堆栈的大小是多少？
浏览 1提问于2014-02-09得票数 2
回答已采纳
3回答
在OCaml中编写大型软件项目的最佳实践是什么？应该也不应该使用OCaml的哪些特性来简化代码管理？例外？头等舱？GADTs？对象类型？
建立系统？测试框架？图书馆堆栈？我为haskell找到了一个很棒的，我认为为OCaml提供类似的东西会更好。
浏览 5提问于2013-10-13得票数 50
回答已采纳
1回答
在OCaml中有什么(好的)方法来模拟这种情况吗？例如，在使用ocaml时，我希望确保只有在Lua处于特定状态(堆栈顶部的表等)时才调用某些函数。编辑：这是最近一篇关于资源多态性的文章，与问题有关：
编辑2：还有许多关于OCaml可用会话类型的文章，包括提供一些语法糖的语法扩展。
浏览 1提问于2013-03-25得票数 7
回答已采纳
1回答
我正在尝试使用以下代码在OCaml中创建一个元组堆栈但是在这样做的时候，我在编译的时候得到一个错误expression has type unit -> 'a Stack.t我是OCaml
浏览 2提问于2012-09-18得票数 2
回答已采纳
我正在尝试从创建和使用堆栈对象(修改为具有字符串)： val mutable v = [""; ""]
matchprint_endline s#pop; (* error from this line *) print_endline s#pop;$ ocaml objects.ml
File &qu
浏览 1提问于2019-05-06得票数 1
回答已采纳
我正在使用stack在OCaml中实现array。let create () = {storage = Array.make 2 0; n = -1};;
但是当我实现create函数时，我遇到了问题。如何初始化'a ar
浏览 7提问于2013-02-21得票数 2
回答已采纳
我读过，它在一定程度上解决了性能上下文中的OCaml异常，并提到可能会使用异常来操纵控制流。
但是，我想从语言设计/历史的角度了解在具有第一类求和类型的语言中添加异常的理由。我的理解(请纠正我的错误)是，OCaml中的异常会破坏类型系统，从而使对程序的特定状态进行推理变得更加困难。与和类型上的匹配不同，编译器将不会检查是否处理了所有可能的错误情况，这可能成为一个问题，特别是如果对库函数的修改引入了新的错误状态。鉴于以上所述，并且考虑到在某些情
浏览 0提问于2019-07-11得票数 11
回答已采纳
1回答
我正在处理OCaml中的一个解释器任务，在这个任务中我必须绑定值。例如，我可能想要将值"A“绑定到值3。我正在尝试使用ocaml中的哈希表模块来方便存储和查找，但似乎存在与作用域和返回类型相关的多个问题。我想做的是，当从堆栈弹出的第二个值的类型是name时，我想将NAME绑定到第一个弹出的值，然后将UNIT附加到堆栈。不幸的是，由于某些原因，我的解决方案不起作用。有谁可以帮我？
浏览 1提问于2018-11-19得票数 0
2回答
实现一个名为MyStack的模板类，它使用STL类向量创建一个堆栈。MyStack类将有两个函数-- push()和pop()。因为MyStack是一个模板类，所以它的编写方式必须能够用于创建任何类型的数据堆栈(包括内置类型和自定义类型)。当堆栈的一个元素被弹出时，应该从向量中删除它，以便弹出的数据不再使用内存。在main()中，创建多个不同数据类型的堆栈，推送一些样本数据，并在数
浏览 0提问于2010-08-15得票数 0
1回答
假设我有一个由多个多态变量(协变)组成的类型，如下所示： [> `Ok of int | `Error of string] 让我们进一步假设，我希望将此定义分解为某种类型构造函数和一个具体的类型int我的第一次尝试是这样的： type 'a error = [> `Ok of 'a | `Error of string] 然而，使用这样的定义会产生一个非常奇怪的类型错误，它提到了一个类型变量'b，该变量没有出现在定义中的任何地方$ oc
浏览 20提问于2020-01-21得票数 5
回答已采纳
1回答
我使用幻影类型来模拟堆栈的状态，作为OCaml的包装模块(Lua通过堆栈与C/OCaml通信)。type 's table我想要一种类似于对两种类型的函数进行操作的表或数组，但仍然能够禁止对表进行rawgeti (数组操作)。objlen是一个堆栈操作，它返回堆栈顶部元素的“长度”。此元素既可以是表，也可以是数组表。top table) t -> intval objlen
浏览 2提问于2013-06-07得票数 3
回答已采纳
2回答
也许我在这里很愚蠢，所以我想问的更普遍的问题是，如何在OCaml中声明对某些类型的空值的引用。通常，我会声明对自定义的空值的引用，例如，如果我有一个类型的type point = Point of (int * int)，我会声明一个类似于这个let a = ref (Point (0,0))的引用另外，如果您查看标准库()中的引用堆栈‘’模块，它中没有空值。您如何处理这个问题？
浏览 3提问于2015-05-04得票数 1
回答已采纳
4回答
我一直在阅读F#文章，它们使用单例变体来创建截然不同的不兼容类型。然而，在Ocaml中，我可以使用私有模块类型或抽象类型来创建不同的类型。在Ocaml中使用像F#或Haskell这样的单大小写变体是很常见的吗？
浏览 27提问于2021-04-26得票数 2
回答已采纳
1回答
我想在ocaml中为链接列表创建一个递归类型，为此我为列表的元素定义了一个类型。我写了以下代码 |Nil但我收到语法错误了。如何纠正错误？
浏览 0提问于2018-04-12得票数 1
回答已采纳
1回答
我在尝试重新定义方法，我发现了这个愚蠢的例子：object end
object method get (x : b) = x我明确指定希望b类的get方法接受a b并返回a b，但方法签名是a -> a。如果我这样做(new b)#get(new a)，他会非常高兴，但他真的不应该这样做。在那之后，我添加了一些愚蠢的东西：object end
浏览 1提问于2013-05-23得票数 4
1回答
我试图在OCaml中扩展函子。例如，假设下面的函子X我正在尝试创建一个类似的函子Y，它也接受A : Moduletype Y = functor (A : ModuleA) -> include X(A) end谢谢!我想我的
浏览 0提问于2018-02-27得票数 3
回答已采纳
3回答
如何实例化int类型的堆栈数组？
、、、、
我正在尝试创建一个堆栈数组，其中数组中的每个堆栈都是int类型的。如果我创建的数组是这样的:重新编码Stack<Integer>[] numbers = new Stack<Integer>[3];，那么就会出现编译错误“Cannot create a generic因此，我尝试用通配符类型而不是Integer创建堆栈数组，这样它就没有这个错误了。
但是，如果我尝试将一个int推入(通配符&q
浏览 4提问于2013-03-20得票数 0
回答已采纳
3回答
在研究F#和OCaml之间的差异时，我发现他们倾向于关注和 。然后我发现了，它将类型和类型推断列为不同的特征。由于特写文章说OCaml和F#都使用类型推断，我认为这是一个标准算法，即一个不允许变化的算法，这两个特徵是如何联系的？是否达马斯-米尔纳是构建两个类型推理系统的基础，但它们各自都基于类型来修改达马斯-米尔纳？如
浏览 0提问于2012-09-10得票数 8
回答已采纳
试图将此OCaml代码转换为Rescript [@bs ]) : Web.Node.event_cb) : Web.Node.event_cb_ev) => (): Web.Node.event_cb)
错误是Did you forget a `=>` here?
浏览 3提问于2022-08-07得票数 0
回答已采纳
云服务器
ICP备案
腾讯会议
云直播
对象存储
腾讯云开发者
