2回答
我正在使用OCaml为Scheme的子集构建递归下降解析器。Epsilon type expr = 伪码parseS lr = parseL lr match tokens a, b,head matches
浏览 4提问于2012-11-30得票数 6
回答已采纳
我有一个函数： let rec f1 x = f1 x;; 我的问题是--为什么OCaml会给我这个： a -> b ? 为什么返回类型不同？
浏览 11提问于2020-11-16得票数 0
我遇到了一个问题，Ast.get()返回Cil_types.file类型，但我需要Cil.file供以后使用。它们实际上具有相同的字段，但是ocaml编译器只是不允许从Cil_types.file直接分配到Cil.file。在Ocaml中是否有任何类型的强制转换函数可以帮助我做到这一点。Ps:我尝试将Cil_types.file的每个字段分配给Cil.file，但同样的问题是<em
浏览 1提问于2013-12-04得票数 0
回答已采纳
2回答
OCaml中的互递归类型
、、、、
在Haskell中，您可以执行以下操作：如何在OCaml中做同样的事情？___Error: Unbound type constructor bar
在OCaml中甚至可以定义相互递归的数据类型吗？比较数据定义以让表达式:相互<em
浏览 2提问于2015-04-06得票数 4
回答已采纳
let log x = print_int x; log ;;
我期望log打印111并返回自身，然后在第二个调用中打印222，但是它不能像预期的那样工作，而是得到一个错误消息如何使它像预期的那样工作？File ".
浏览 2提问于2022-10-18得票数 3
2回答
我正在试着写一个简单的递归函数来查看列表并返回一对整数。这很容易用c/c++/java编写，但我是ocaml的新手，由于类型冲突，不知何故很难找到解决方案test (fun x -> x mod 2 = 0) [-3; 5; 2; -6];; 所以问题是我如何递归地<
浏览 2提问于2010-06-15得票数 7
回答已采纳
我想编写一个递归结构，就像我们在C中所做的那样，但是在Ocaml中。我希望我们包含一个布尔值和一个相同类型元素的递归副本列表。我如何在Ocaml中做到这一点？
浏览 0提问于2020-06-24得票数 0
我刚开始学习Ocaml，还在玩递归函数。Ocaml Compiler告诉我，递归调用"if h1=h2 t1 t1 t2“中的助手会导致一个错误:该表达式键入'a list * 'a list *a list -> bool，但表达式被期望为bool类型。我知道它是在告诉我编译器正在期待一个布尔值，而是得到一个返回布尔值的函数。但是我不知道如何修复这个问题。任何帮助都是值得赞赏<e
浏览 1提问于2017-02-13得票数 0
2回答
在OCaml中，有一个叫做“rectype”的东西，它允许递归返回类型。为了说明我所说的意思，这里有一个具有这种类型的方法： val m = n + i}Int => Int => (Int =>
浏览 12提问于2015-09-05得票数 2
回答已采纳
1回答
我正在研究OCaml中的递归模块，在访问类型字段时遇到了一些问题。然而，我需要一个更复杂的类型，迫使我在递归模块中定义我的类型。但是，以下模块不正确： struct let get_name (x:t) = x.name 返回的错误是“未绑定记录字段名有什么<
浏览 5提问于2015-04-10得票数 2
回答已采纳
2回答
我是OCaml的新手，正在用OCaml编写一个递归程序，它返回列表的第n个元素。然而，当列表太短时，我需要显示一个信息性的错误消息，显示一个列表，比如"( a，b，c)没有5个元素“。这是我的代码 match list with
| [] -> raise(Failure "")| a :: l -> match n
浏览 0提问于2013-06-02得票数 0
回答已采纳
2回答
我是一个使用ocaml的noobie，我的问题是如何获取ocaml中整数的位数，以及如何通过递归调用将它们放入列表中# digits 3124;;
浏览 2提问于2013-01-10得票数 2
许多语言允许显式地给出泛型函数的类型参数。例如，如果我们在Java或TypeScript中有一个具有以下签名的函数：…而一个类型的MyType，我们可以编写f<MyType>()来调用f，并将类型参数T显式地给出为MyTypeOCaml有这个特性吗？
如果答案是否定的--这是因为OCaml的类型推断太强了，以至于永远不会出现类型应
浏览 31提问于2022-04-11得票数 0
回答已采纳
3回答
我试图在ocaml中找到整数数组元素的索引。如何递归地这样做。示例代码：let a = [|2; 3; 10|];;，假设我想在数组a中返回3的索引。我是OCaml编程新手
浏览 4提问于2015-11-28得票数 4
回答已采纳
1回答
目前，我正试图使用Z3为具有多态列表的非类型化语言编码一个简单的程序逻辑。type value = | String of string理想情况下，我希望使用内置的Z3类型在Z3List
浏览 2提问于2017-04-24得票数 2
回答已采纳
我试图在for循环中添加一个类型(int*int)的元组到列表中，但是我看到一个错误，它说:这个表达式应该有类型单元。
浏览 1提问于2018-12-08得票数 0
回答已采纳
可能重复：
let succ n = n + 1;;
if n =而在Haskell (GHCI)，我可以写
let f
浏览 2提问于2012-02-17得票数 44
回答已采纳
我正在用Ocaml编写一个递归函数，它应该计算整数列表中的项数(是的，我知道有一个List.length函数，但我正在尝试自己做)。然而，Ocaml编译器/解释器迫使我一直使用alpha list。因此，当函数接受列表作为参数时，该列表的类型必须始终为alpha，这是错误的吗？谢谢
编辑:我不方便使用alpha列表的原因是，由于类型匹配的问题，我不能将alpha列表<em
浏览 0提问于2010-04-12得票数 1
回答已采纳
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
腾讯会议
云直播
对象存储活动推荐
腾讯云开发者
