腾讯云
开发者社区
文档
建议反馈
控制台
首页
学习
活动
专区
工具
TVP
最新优惠活动
文章/答案/技术大牛
搜索
搜索
关闭
发布
登录/注册
精选内容/技术社群/优惠产品,
尽在小程序
立即前往
文章
问答
(9999+)
视频
沙龙
3
回答
为什么
OCaml
'
s
(+)
不是
多态
的
?
、
、
我是一个
OCaml
新手。我喜欢
OCaml
的
速度,但我不完全理解它
的
设计。例如,我希望+操作符是
多态
的
,以支持整数、浮点数等。
为什么
我们需要+.
浏览 4
提问于2011-11-05
得票数 28
回答已采纳
1
回答
为什么
这是弱
多态
的
我开始学习
OCaml
,并尝试做一些实践:val left : 'a -> 'b -> 'a = <fun> val first : '_a list -> '_a -> '_a = <fun>
为什么
first只是弱
多态
而
不是
完全
多态
?
浏览 1
提问于2014-10-09
得票数 0
1
回答
哪种语言
的
泛型是
OCaml
中类似于C++、Java或C#
的
泛型类和函数?
、
、
、
我从C++模板、Java泛型和C#泛型之间学到了区别,这有助于我更好地理解如何以不同
的
方式正确地使用它们。为了帮助我学习在
OCaml
中使用泛型,哪种语言
的
泛型是
OCaml
中类似于C++、Java或C#
的
泛型类和函数?因为
OCaml</em
浏览 3
提问于2017-09-20
得票数 3
回答已采纳
2
回答
为什么
OCaml
对
多态
变体使用子类型?
、
我刚刚读到了,以及如何将它用于可扩展记录和
多态
变体。 然而,
Ocaml
对
多态
变体使用子类型。
为什么
?它是否比行
多态
性更强大?
浏览 2
提问于2013-05-27
得票数 6
回答已采纳
2
回答
除了模板函数以外
的
OCaml
多态
性示例?
、
、
、
、
我在试着自己去理解,
OCaml
语言有哪种形式
的
多态
。我得到了一个例子这个示例
不是
等同于C++模板函数吗如果是这样,那么我
的
问题是:
OCaml
中是否还有其他形式
的
多态
性?在命令式语言
的
世界中,这个概念被称为“通用算法”,而
不是
“
多态
性”。
浏览 0
提问于2013-01-21
得票数 3
回答已采纳
2
回答
为什么
“参考值”在
Ocaml
中受到限制?
、
值限制规则指出,泛化只能在表达式
的
右侧是一个值
的
情况下发生。在我看来,当与多个
多态
实体(如id id或ref None )进行某种交互时,就会出现值限制。 我是
OCaml
自学
的
初学者。任
浏览 4
提问于2017-12-30
得票数 3
回答已采纳
3
回答
为什么
Haskell变量在被模式匹配绑定时
不是
多态
变量?
、
、
结果表明,f
的
推断类型在Haskell中
不是
多态
的
。我有两个比较点:
OCaml
和“教科书”辛德雷-米尔纳。两者都认为f应该是
多态
的
。在
OCaml
中,类似的代码
不是
错误:它
的
计算结果为(true, 'c'),类型为boo
浏览 1
提问于2019-01-05
得票数 6
回答已采纳
3
回答
OCaml
‘下划线类型’(例如‘_a’)是否引入了运行时类型错误/可靠性冲突
的
可能性?
、
我读了一些关于Standard中
的
值限制
的
文章,并尝试将这个示例翻译到
OCaml
,看看它会做什么。看起来,
OCaml
在SML由于值限制而拒绝程序
的
上下文中生成这些类型。X1 option ref in expression:相比之下,在
OCaml
中,虚拟类型变量是可访问
的</e
浏览 7
提问于2016-07-05
得票数 11
回答已采纳
1
回答
OCaml
有
多态
性吗?
、
、
、
既然
OCaml
对整数和双精度数有不同
的
乘法运算,那么它怎么可能是面向对象
的
呢?这
不是
意味着
OCaml
没有
多态
性吗?
浏览 1
提问于2013-01-20
得票数 5
回答已采纳
2
回答
为什么
F#
的
printf中
的
%A说明符在
OCaml
的
printf中不存在?
、
在F#
的
printf中有格式说明符%A,它允许传递任何F#类型,并且它将被评估和打印。| Success of 'a 显然,Result<'a>
不是
一个内置
的
类型我可以在
OCaml
中声明类似的类型,但Printf.printf没有等效
的
说
浏览 4
提问于2017-04-13
得票数 8
回答已采纳
1
回答
OCaml
如何能够根据其文本表示对
多态
变体进行排序?
在
OCaml
中,
多态
比较是通过遍历由直接和指向块
的
指针组成
的
值
的
运行时表示来实现
的
。 根据
的
说法,没有参数
的
多态
变量只是存储为一个未装箱
的
整数。为方便起见,摘录于此。没有任何参数
的
多态
变量存储为一个未装箱
的
整数,因此只占用一个单词
的
内存,就像普通
的
变量一样。此整数值是通过将哈希函数应用于变量
的
名称来确定
浏览 1
提问于2018-04-08
得票数 9
回答已采纳
3
回答
OCaml
中
的
多态
性-即席、参数、包含/子类型
、
、
、
我在理解不同类型
的
多态
性时遇到了问题,特别是关于
OCaml
。我知道
多态
性允许在
OCaml
中使用多种类型,表示为'a‘,但我不理解不同类型
的
多态
性是什么。如果有人能用相对低级
的
语言给我一个解释,那就太棒了!即席、参数、包含/子类型
浏览 7
提问于2015-10-20
得票数 4
1
回答
多态
变异-> GADT?
、
、
、
我正在编写一个Prolog系统,并且使用
多态
变体来表示Prolog术语。 特别是,我使用
多态
变体(而
不是
常规变量),以便在确保
OCaml
对子类型
的
匹配进行出色
的
穷尽性检查
的
同时进行子类型。我曾多次阅读关于GADT(在discuss.
ocaml
.org和realworldocaml.org上)
的
文章。在我看来,GADT似乎提供了类似的特性,但内存占用却更小:
多态
变体在有多个参数
的
情况下,需要一个常规变
浏览 3
提问于2020-11-11
得票数 3
回答已采纳
1
回答
比较非int类型
的
相等运算符
最近,我为我
的
项目从
OCaml
4.03更新到
OCaml
4.13。一个改变是,在检查非int类型之间
的
相等性时,我得到了一个类型错误。但我在定制类型上也遇到了同样
的
问题。;Error: This expression has type e but an expression was expected of type int 处理这个场景
的
正确方法是什么(a = b)可以工作,但感觉很麻烦,因为
多态
相等操作符是如此常用。
浏览 6
提问于2022-02-05
得票数 0
回答已采纳
1
回答
Haskell是弱
多态
的
吗?
、
、
Haskell是弱
多态
是什么意思?这是否与Haskell函数不能返回类型有关? 谢谢!
浏览 2
提问于2016-02-09
得票数 1
2
回答
变体还是
多态
变体?
、
、
、
、
我注意到,在我认识
的
OCaml
程序员中,有些人总是使用
多态
变体(没有声明
的
变体,以背引号作为前缀),而另一些程序员则从不使用
多态
变体,而更喜欢在类型中声明
的
变体。除了性能原因(
多态
变体目前编译效率低于简单变体)外,专家
OCaml
开发人员如何在它们之间进行选择?
浏览 3
提问于2012-02-20
得票数 42
回答已采纳
1
回答
OCaml
中
的
比较不再是
多态
的
吗?
我一直在尝试将一个代码库从
OCaml
4.04迁移到
OCaml
4.10。我遇到了一个反复出现
的
错误,当我比较
不是
整数
的
值时,我得到了一个类型错误:90 | if (total < current是我做错了什么,还是
OCaml
中
的
比较不再是
多态
的
?
浏览 0
提问于2021-02-27
得票数 2
3
回答
OCaml
中
的
弱
多态
性
、
、
、
我对
OCaml
中
的
弱
多态
性感到有点困惑。cache似乎是在remember调用之间共享
的
。
为什么
编译器在这里推断一个弱
多态
类型,
为什么
cache是共享
的
?更重要
的
是,如果我再次更改代码 let cache = ref None in (fun z -> match !
为什么
是这种情况?
浏览 3
提问于2013-07-29
得票数 7
回答已采纳
4
回答
在
OCaml
中,放松
的
价值限制什么时候生效?
有人能给出一个简明扼要
的
描述什么时候放松
的
价值限制起作用?我很难找到一份简明扼要
的
规则描述。这是加里格
的
论文: 下面添加了一些很好
的
解释,但我无法找到对以下行为
的
解释:- : unit -> 'a option ref = <
为什么
被包围
的
RHS中
的
参考文献<em
浏览 17
提问于2013-03-22
得票数 9
2
回答
OCaml
,
多态
函数
、
、
、
我对
OCaml
没有太多
的
经验。我需要一些帮助来理解
多态
函数。a -> 'a = <fun>问题: 你能解释一下
为什么
第二个函数有'b‘作为第二个参数而
不是
'a’类似于第一个函数吗?
浏览 0
提问于2018-07-05
得票数 2
回答已采纳
点击加载更多
扫码
添加站长 进交流群
领取专属
10元无门槛券
手把手带您无忧上云
相关
资讯
HashMap为什么不是线程安全的
为什么Python不是未来的编程语言?
为什么说SaaS不是软件行业的革命?
为什么苹果最大的对手不是华为,而是谷歌?
人工智能的极限:为什么ChatGPT不是真正的“智能”
热门
标签
更多标签
云服务器
ICP备案
实时音视频
即时通信 IM
对象存储
活动推荐
运营活动
广告
关闭
领券