腾讯云
开发者社区
文档
建议反馈
控制台
首页
学习
活动
专区
工具
TVP
最新优惠活动
文章/答案/技术大牛
搜索
搜索
关闭
发布
登录/注册
精选内容/技术社群/优惠产品,
尽在小程序
立即前往
文章
问答
(9999+)
视频
沙龙
1
回答
OCaml
编译
类型
错误
,
函数
的
预期
类型
不正确
ocaml
这里是
OCaml
的
新手。基本上,我试图用两个
函数
来
编译
一段代码,但我不能
编译
它,因为在第9行,列字符26-27处出现了
类型
错误
,如下所示: “
错误
:此表达式
的
类型
为%t,但需要
类型
为string
的
表达式”“ 基本上,在第8行调用
的
解析
函数
需要
类型
字符串sexp参数
的
类型
: type sexp
浏览 5
提问于2019-06-16
得票数 0
1
回答
我不同意这种
类型
推断
types
、
ocaml
、
type-inference
我正在尝试用
OCaml
编写一个
OCaml
求值器。基本上我需要模仿
OCaml
的
类型
检查器。我有下面的代码,它应该返回一个
类型
,但是
编译
器报告
类型
不匹配。,我给出了基数为(typecheck exp tenv),它应该是motype (我
的
类型
类型
)。
错误
是fold left
函数
(typecheck ce (matchtype tenv cp etype))
的
浏览 0
提问于2013-05-02
得票数 0
回答已采纳
1
回答
ocaml
-top无法
编译
过去(模式匹配)警告8
pattern-matching
、
ocaml
、
warnings
在macOS高山上使用
ocaml
-top 1.1.5和
ocaml
4.02.3: 当
编译
一个文件时,当
函数
触发(模式匹配)警告8时,警告显示为红色(在我通常使用
的
Windows
ocaml
-top版本中,它将是黄色
的
);
函数
本身似乎是
编译
的
,并给出了一个
类型
,但文件中位于它下面的
函数
无法
编译
(就好像警告是实际
的
编译
错误<
浏览 1
提问于2018-05-28
得票数 0
1
回答
OCaml
型推理
ocaml
、
type-inference
我刚刚开始学习
OCaml
,我对
OCaml
编译
器如何在参数可能是多个
类型
的
特定情况下确定参数
的
输入
类型
感到困惑。我假设我需要在这些实例中显式地声明
类型
?let sign x = else if x < 0 then -1抛出“
错误
:此表达式有
类型
浮点数,但
预期
表
浏览 1
提问于2021-05-02
得票数 2
回答已采纳
1
回答
ocaml
中
的
模块化编程
types
、
module
、
namespaces
、
ocaml
在处理
ocaml
项目时,我发现了一些我不太理解
的
东西。length: a' list -> intlength: a' array -> int 但是,我希望您通过open关键字在我实现
的
同一
浏览 0
提问于2012-07-31
得票数 5
回答已采纳
1
回答
为什么
编译
器不能匹配这个
函数
类型
?
ocaml
我对
OCaml
编译
器有一个问题,我无法解释自己。(在代码
的
完整版本中,按
预期
的
方式工作): ignore (conn#exec "SELECT
函数
中指定了conn参数
的
类型
。这是我第一次必须自己指定一个
类型
才能使代码工作,而且我每天都是
OCaml
用户. 此外,在
错误
消息中,我不知道所涉
浏览 1
提问于2013-12-31
得票数 4
回答已采纳
1
回答
我们能不能偷看一下部分推断出
的
打字信息。对于不能
编译
的
程序,从
Ocaml
顶层/
编译
器?
debugging
、
ocaml
、
partial
、
typing
我想知道,在
Ocaml
中,是否有部分打字信息。对于不能
编译
的
程序,能不能通过toplevel/
编译
器
的
一些现有功能来绘制?让我解释一下。在
Ocaml
中,众所周知,推断
类型
可以通过-annot文件来检索。然而,有时我们有一段代码由于一些输入
错误
而无法
编译
。,即"y是bool
类型
的
预期
“,因为"not y”部分。你能告诉我所描述
的
功能是否
浏览 0
提问于2011-07-27
得票数 4
回答已采纳
2
回答
为什么
OCaml
有强制性
的
不同
的
浮点和int字面语法?
compiler-errors
、
ocaml
、
static-typing
OCaml
对这两种语言都有不同
的
语法: int我正在寻找特定
的
技术理由,基于与其他语言功能
浏览 6
提问于2020-10-07
得票数 2
2
回答
OCaml
支持显式
类型
应用程序吗?
generics
、
ocaml
许多语言允许显式地给出泛型
函数
的
类型
参数。例如,如果我们在Java或TypeScript中有一个具有以下签名
的
函数
:…而一个
类型
的
MyType,我们可以编写f<MyType>()来调用f,并将
类型
参数T显式地给出为MyType
OCaml
有这个特性吗? 如果答案是否定
的
--这是因为
OCaml
的
类型
推断太强了,以至于
浏览 31
提问于2022-04-11
得票数 0
回答已采纳
1
回答
Ocaml
unboud值
ocaml
我试图编写一个简单
的
Ocaml
函数
,但是我得到了这个
错误
:
错误
:此表达式具有
类型
单位,但
预期
表达式为int
类型
。
浏览 3
提问于2014-09-15
得票数 0
回答已采纳
2
回答
Camlp4解析
函数
:表达式有int
类型
,但期望一个表达式为float
类型
ocaml
、
camlp4
我编写了一个简单
的
解析器
函数
,它期望流中
的
一个项,并返回一个int,但出于某种原因,
编译
器一直期待浮动,这是我无法理解
的
原因;特别是考虑到代码是。我尝试过将这两个变量都转换为int,而且通常只是修改语法,但是
函数
非常简单,以至于找不出到底出了什么问题。我知道,对于普通
函数
,可以用let: type->type指定
类型
,但我不知道解析器
函数
将如何工作。characters 49-50: Error: This expression
浏览 0
提问于2019-08-02
得票数 0
回答已采纳
1
回答
如何迭代或重复非
类型
化
函数
n次?
compiler-construction
、
ocaml
、
lambda-calculus
、
church-encoding
我正在使用
OCaml
编译
器进行实践,我正在执行一项小任务,我们必须实现教会数字,定义为:为了计算我想要实现
的
ss加上:所以我
的
问题是,如何实现
函数
加,像n倍succ我尝试过类似于plus = lambda m. lambda n. lambda s. lambda
浏览 5
提问于2021-03-17
得票数 0
1
回答
如何为可变变量定义特定
类型
?
types
、
ocaml
、
mutable
、
ref
我是
OCaml
的
初学者。我想
编译
这段代码,但是我得到了一个
错误
。Ml1 of intlet (accu:mlvalue) = ref 0;; 此表达式具有int ref
类型
,但
预期
表达式
类型
为mlvalue。
浏览 0
提问于2019-03-11
得票数 1
回答已采纳
2
回答
java instanceof和
ocaml
匹配
java
、
ocaml
、
match
、
rtti
、
instanceof
在
ocaml
中,假设我们有:let x = [A 5; B "y"]if (element instanceof
浏览 1
提问于2013-01-31
得票数 3
回答已采纳
2
回答
OCaml
模块
类型
与单独
编译
module
、
ocaml
据我所知,本文讨论了
OCaml
目前
的
模块
类型
/签名系统
的
起源。作者建议对签名中
的
类型
声明(允许单独
编译
)和显式
类型
声明(表示性)进行不透明
的
解释。(在
编译
第二个文件时)抱怨模块StringOrdering上没有足够
的
类型
信息来对StringOrdering.isLess应用程序进行
类型
检查(从而激发了对with type语法
的
需求)。但
浏览 1
提问于2012-03-23
得票数 8
回答已采纳
1
回答
结合参数多态和多态变体(反引号
类型
)
ocaml
、
parametric-polymorphism
、
polymorphic-variants
、
row-polymorphism
假设我有一个由多个多态变量(协变)组成
的
类型
,如下所示: [> `Ok of int | `Error of string] 让我们进一步假设,我希望将此定义分解为某种
类型
构造
函数
和一个具体
的
类型
int我
的
第一次尝试是这样
的
: type 'a error = [> `Ok of 'a | `Error of string] 然而,使用这样
的
定义会产生一个非常奇怪
的
类型
浏览 20
提问于2020-01-21
得票数 5
回答已采纳
1
回答
有没有可能有一个只接受整数列表
的
Ocaml
函数
?
list
、
types
、
ocaml
我正在用
Ocaml
编写一个递归
函数
,它应该计算整数列表中
的
项数(是的,我知道有一个List.length
函数
,但我正在尝试自己做)。然而,
Ocaml
编译
器/解释器迫使我一直使用alpha list。因此,当
函数
接受列表作为参数时,该列表
的
类型
必须始终为alpha,这是
错误
的
吗?谢谢 编辑:我不方便使用alpha列表
的
原因是,由于
类型
匹配
的</em
浏览 0
提问于2010-04-12
得票数 1
回答已采纳
3
回答
OCaml
流水线和
类型
构造
函数
参数
ocaml
学习
OCaml
,并想知道为什么
编译
器认为我为一个参数
类型
的
构造
函数
提供了零参数。这个
OCaml
: s |> Json.to_string |> Ticker |> Result.OkThe constructor Ticker expe
浏览 5
提问于2021-08-17
得票数 1
回答已采纳
1
回答
我可以定义一个返回自身
的
OCaml
函数
吗?
ocaml
在“计划”中,我可以编写一个
函数
: eat-line)(define (loop op) (loop (op line))))let rec eat_line line = eat_lineError'b
浏览 0
提问于2014-12-28
得票数 9
回答已采纳
5
回答
Ocaml
抽象
类型
和
类型
推理
types
、
ocaml
我有一个关于
OCaml
中抽象
类型
的
问题。假设我有一个隐藏某种
类型
的
模块: type tend = struct | None -> Printf.printf "None\n" 不足为奇
的
是,当我在t实例上调用do_work时,我得到了<e
浏览 1
提问于2017-07-04
得票数 2
回答已采纳
点击加载更多
扫码
添加站长 进交流群
领取专属
10元无门槛券
手把手带您无忧上云
相关
资讯
【effectiveC+】01_使用explicit禁止编译器执行非预期的类型转换
一文解决现代编程语言选择困难:响应式编程
前端专家聊JS语言家族新成员——R&B
ReasonML 先睹为快
50个常见的 Java 错误及避免方法——第一部分
活动推荐
运营活动
广告
关闭
领券