腾讯云
开发者社区
文档
建议反馈
控制台
首页
学习
活动
专区
工具
TVP
最新优惠活动
文章/答案/技术大牛
搜索
搜索
关闭
发布
登录/注册
精选内容/技术社群/优惠产品,
尽在小程序
立即前往
文章
问答
(9999+)
视频
沙龙
1
回答
OCaml
:
此
表达式
的
类型
为
int
,但
应为
MyFoo.ty
类型
的
表达式
(
除非
MyFoo.ty
为
int
)
ocaml
struct let doo (x:ty) = x type ty =
int
| let () = assert(MyFoo.doo 3 = 3)Error: This expression has type
int
but an expression was expected of typeComman
浏览 21
提问于2020-01-04
得票数 0
回答已采纳
2
回答
列表中
的
条件不求值
ocaml
我是一个用真实世界
的
OCaml
自学
OCaml
的
初学者。出于某种原因,这条线 if List.mem l 1 then true;;错误:
此
表达式
的
类型
为
equal:(
int
->
int
-> bool) -> bool,但
应为
bool
类型
的
表达式
这个
浏览 2
提问于2017-08-04
得票数 0
1
回答
OCaml
型推理
ocaml
、
type-inference
我刚刚开始学习
OCaml
,我对
OCaml
编译器如何在参数可能是多个
类型
的
特定情况下确定参数
的
输入
类型
感到困惑。我假设我需要在这些实例中显式地声明
类型
?例如: if x > 0 then 1 else 0 抛出“错误:
此
表达式
有
类型
浮点数,
浏览 1
提问于2021-05-02
得票数 2
回答已采纳
2
回答
下面的
ocaml
代码有什么问题?
functional-programming
、
ocaml
funli li k = match li with | x::ll -> funli ll k-1;; utop显示错误:
此
表达式
具有
类型
'a选项,
但
表达式
应为
int
类型
。我认为它没有理由期待
int
。请帮助我理解这段代码中发生了什么。我是
OCaml
的
新手。
浏览 3
提问于2016-11-26
得票数 0
回答已采纳
2
回答
F#创建具有多个功能
的
单个循环
loops
、
f#
“unit”,
但
类型
为
“string”。错误%1
此
表达式
的
类型
应为
int
,
但
此处
的
类型
为
string 19 21
浏览 1
提问于2010-09-16
得票数 3
回答已采纳
1
回答
OCaml
中
的
CPS : type不检查
functional-programming
、
ocaml
我正在做一个关于CPS
的
非常简单
的
OCaml
练习。第8-10行是将两个递归调用转换为一个尾递归.但是,编译器会抱怨第8行
的
类型
: 错误:
此
表达式
类型
为
int
->
int
-> (
int
->
int
)->
int
,
但
表达式</e
浏览 3
提问于2016-03-22
得票数 0
回答已采纳
1
回答
Ocaml
unboud值
ocaml
我试图编写一个简单
的
Ocaml
函数,但是我得到了这个错误: 错误:
此
表达式
具有
类型
单位,
但
预期
表达式
为
int
类型
。
浏览 3
提问于2014-09-15
得票数 0
回答已采纳
2
回答
为什么
ocaml
中函数定义中
的
选择给出了不同
的
结果?
ocaml
windows 10上
的
ocaml
4.01.0+ocp1 let rec fibo n = function | _ -> fibo (n - 1) + fibo (n - 2);; 错误:
此
表达式
具有
int
->
int
类型
,
但
预期
表达式
为</em
浏览 1
提问于2019-02-27
得票数 1
回答已采纳
1
回答
如何为可变变量定义特定
类型
?
types
、
ocaml
、
mutable
、
ref
我是
OCaml
的
初学者。我想编译这段代码,但是我得到了一个错误。type pointeur_de_code =
int
;;type mlvalue = | Ml2 of pointeur_de_code* environnement;;
此
表达式
具有
int
ref
类型
,
但
预
浏览 0
提问于2019-03-11
得票数 1
回答已采纳
1
回答
比较非
int
类型
的
相等运算符
ocaml
最近,我
为
我
的
项目从
OCaml
4.03更新到
OCaml
4.13。一个改变是,在检查非
int
类型
之间
的
相等性时,我得到了一个
类型
错误。例如,对于floats,我得到了以下内容:我可以通过显式地使用Float.(f0 = f1)来解决这个问题。但我在定制
浏览 6
提问于2022-02-05
得票数 0
回答已采纳
1
回答
OCaml
的
河内双子塔
list
、
recursion
、
ocaml
、
tuples
、
towers-of-hanoi
我是一个初学
的
OCaml
程序员,试图用
OCaml
做一个函数来解决汉诺塔
的
问题在解决方案中是由一个移动列表表示
的
,其中一个“移动”被存储在一个元组
的
形式(startPeg,endPeg)中。这就是我到目前为止所知道
的
:type move = peg * peg letc b) :: (a,b) :: (solve (n-1) c
浏览 2
提问于2013-10-06
得票数 1
1
回答
存在量化
的
类型
参数、递归函数和
类型
误差
types
、
ocaml
、
gadt
、
existential-type
考虑下面的
OCaml
代码: fun n -> ifn < 0 then My([], 2) in My(3::xs, y)
此
表达式
具
浏览 4
提问于2015-04-14
得票数 2
回答已采纳
1
回答
关于
Ocaml
中
的
无
ocaml
我是
Ocaml
的
初学者。我正在尝试写一些关于正常降阶
的
代码,
但
被一些语法搞糊涂了。下面是一些截断
的
代码来隔离我
的
错误。type expr =| Num of
int
| Apply of expr * expr | Apply(e1,e2) -> beta_lor e1 | Lambda e1 -> beta_lor
浏览 0
提问于2013-02-19
得票数 0
1
回答
如何在
Ocaml
中检查非空列表?
ocaml
我正在尝试使用
Ocaml
学习函数式编程,我想实现一个函数,它返回列表中元素
的
和。我想用write循环来完成它,但是我想不出写支票
的
方法。我想象过这样
的
事情 let j = ref 1 in while xs <> []j hd ;上失败了 错误:
此
表达式
的
类型
为
“a list ->”
浏览 3
提问于2022-09-29
得票数 0
3
回答
反转
ocaml
中
的
字符串
string
、
ocaml
我在
ocaml
中有这个函数来反转字符串,但是它显示我
的
类型
是错误
的
。我不确定为什么或者我能做什么: 31 in错误:
此
表达式
的
类型
为
char,但
应为
string
类型
的
表达式
谢谢
浏览 0
提问于2013-05-09
得票数 4
回答已采纳
3
回答
Ocaml
:两个整数
的
函数,返回范围内所有整数
的
列表
ocaml
此
函数接受两个整数,并返回a,b范围内所有整数
的
列表 else range_rec (l@[a], a+1, b);; 我遇到一个错误“错误:
此
表达式
的
类型
为
int
list *
int
*
int
,
但
表达式
的
浏览 3
提问于2011-08-28
得票数 1
回答已采纳
2
回答
此
表达式
的
类型
为
a*b*c,但
应为
int
类型
compiler-errors
、
ocaml
、
typeerror
我是
OCaml
的
新手,我想写一个函数,返回z下3和5
的
所有倍数
的
和。下面是我所做
的
: | x when x > z -> y | x when x mod 3 <> 0 && x mod 5 = 0 -> problemone(
浏览 3
提问于2018-01-24
得票数 4
回答已采纳
1
回答
此
表达式
的
类型
为
字符串->
int
,
但
此处
为
int
类型
。
f#
一个函数Foo,它将接受字符串(名称)数组并执行以下操作: 但我还是收到了同样
的
信息。更重要
的
是,我在哪里能读到更多关于这种行为
的
信息?
浏览 2
提问于2015-12-16
得票数 2
回答已采纳
3
回答
Ocaml
:将
int
列表中
的
所有整数相加,并将其作为
int
选项输出
ocaml
编写一个函数,该函数接受一个整数列表,并返回列表中所有元素
的
总和。如果列表
为
空,则返回None。这是我现在
的
代码: match xs with | [x] -> Some x | hd::tl这是我
的
错误。错误:
此
表达式
的
类型
为
int
,
但
表达式
<
浏览 0
提问于2017-01-26
得票数 0
1
回答
长度函数
的
类型
错误
ocaml
在创建了以下个人
OCaml
类型
之后,我有一个非常有趣
的
学习list
的
项目:然后像这样填满它:let num_list = Item (1, Item (2, Item(3, Empty)));; 我必须重新编码列表模块
的
许多功能,这将适应我
的
新列表
类型
,如上面所示。我从Length开始,这听起来是最简单
的
,也是一个
浏览 2
提问于2016-02-18
得票数 1
回答已采纳
点击加载更多
扫码
添加站长 进交流群
领取专属
10元无门槛券
手把手带您无忧上云
相关
资讯
从零开始学编程第二天基础语法
1000道Python题库系列分享二
JAVA编程基础三:表达式和运算符
《Effective Modern C+》笔记之类型推断
C+auto类型推导完全攻略
热门
标签
更多标签
云服务器
即时通信 IM
ICP备案
对象存储
实时音视频
活动推荐
运营活动
广告
关闭
领券