腾讯云
开发者社区
文档
建议反馈
控制台
首页
学习
活动
专区
工具
TVP
最新优惠活动
文章/答案/技术大牛
搜索
搜索
关闭
发布
登录/注册
精选内容/技术社群/优惠产品,
尽在小程序
立即前往
文章
问答
(9999+)
视频
沙龙
1
回答
具有
多态
类型
的
存在
性
证明
isabelle
、
theorem-proving
、
automaton
我正在尝试形式化
证明
DFA在联合下是封闭
的
,到目前为止我已经
证明
了"∀ ? ℬ. language ? ∪ language ℬ = language (DFA_union ?ℬ)",但我实际上想
证明
的
是∀ ? ℬ. ∃ ?. language ? ∪ language ℬ = language ?。我相信这个问题与
多态
类型
有关,但我不确定。或ℬ添加
类型
,我会得到“未能细化任何挂起
的
目标”。
浏览 17
提问于2020-04-30
得票数 2
回答已采纳
1
回答
Isabelle/ZF中等式
的
多态
定义似乎不起作用
sml
、
isabelle
如果在Isabelle/ZF (更准确地说,IFOL)中
存在
相等
的
定义: eq :: ‹['a, 'a] ⇒ o› (infixl ‹=› 50) refl它甚至连
类型
检查都没有!并且"eq“有
多态
类型
!怎么会这样呢?当然,我们可以定义类
的
相等
性
: eqc :: "[(i⇒o),(i⇒o)]=>o" where &qu
浏览 3
提问于2019-12-01
得票数 1
1
回答
JAVA和C++中
的
多态
性
是一样
的
吗?
java
、
c++
、
oop
、
polymorphism
C++中
的
多态
性
与Java语言中
的
多态
性相同吗?另外,当我们说
多态
性
具有
静态和动态
类型
时,在C++中是否也
存在
同样
的
情况?
浏览 19
提问于2018-08-14
得票数 -1
2
回答
存在
物与重复利用证人
haskell
、
types
、
casting
、
existential-type
让我们想象我有一个
存在
主义
类型
T其中我创造了一个价值v = pack {Int, { a = 0, f x = 0为了使用这个值,他们
的
代码在X中
具有
多态
的
。 另一方面,实现者完全知道X实际上是一个Int,并且可以按他
的
意愿使用底层
类型
的
容量。其中,w将是将X与int绑定
的
类型
方程
的
值
浏览 2
提问于2016-05-09
得票数 0
1
回答
编程语言中
的
多态
性
是否意味着所涉及
的
类型
之间
的
子集关系?
polymorphism
、
programming-languages
来自 通过类推,当
类型
系统向对象分配多个
类型
时,我们会说对象是
多态
的
。当一个对象是
多态
的
,假设它被指定为T1
类型
和T2
类型
。两种
类型
的
T1和T2之一都是另一种
类型
的
子集,这是真的吗?(注意,如果你认为这不是真的,你可
浏览 1
提问于2016-08-29
得票数 5
5
回答
在C++中,
多态
性
和方法重载几乎是相同
的
吗?
c++
、
oop
、
polymorphism
在C++中,有两种
类型
的
多态
性
: 什么能明显区分
多态
和方法重载?有
浏览 8
提问于2012-09-22
得票数 2
回答已采纳
1
回答
隐参数多面体
programming-languages
、
parametric-polymorphism
什么是隐参数
多态
性
?从编程语言语用学来看,“在参数
多态
中,代码接受一个
类型
(或一组
类型
)作为参数,无论是显式还是隐式。” 当未指定参数
类型
时,是否
存在
隐式参数
多态
性
?
浏览 2
提问于2019-11-01
得票数 1
3
回答
函数语言中
的
类型
类型
与OO语言中
的
接口有什么不同?
functional-programming
、
polymorphism
、
subtypes
我正在学习函数式语言
的
范例。所以我读过,虽然子
类型
多态
性
在OO语言中是典型
的
,但是参数
多态
性
对于功能语言来说是典型
的
。我一直认为
类型
类型
有点类似于接口,而接口是子
类型
<e
浏览 0
提问于2016-07-07
得票数 7
回答已采纳
4
回答
泛型与约束
多态
性
与亚型
oop
、
programming-languages
、
scala
、
haskell
、
functional-programming
在Haskell类
的
这个中,幻灯片#54有这样
的
问题: 在
具有
泛型和受限
多态
性
的
语言中,您也需要子
类型
吗? 泛型和受限
的
多态
性
如何使子
类型
变得不必要?如果泛型和受限
的
多态
性
使得子
类型
变得不必要,为什么Scala有子
类型
?
浏览 3
提问于2010-04-25
得票数 18
回答已采纳
1
回答
C++
多态
性
的
实现及分类方法
c++
、
polymorphism
在阅读了和之后,我注意到许多答案在它们列出
的
实现
多态
性
的
方法上
存在
差异,我想为自己列出一个更全面的列表。
多态
性
的
形成机制VirtualOverridingTemplat
浏览 6
提问于2019-11-24
得票数 0
2
回答
“真
多态
性
”
的
例子?(最好使用Haskell)
c++
、
haskell
、
polymorphism
、
parametric-polymorphism
我见过很多关于“真
多态
性
”
的
部分定义,例如和,但是没有一个能用两个具体
的
例子找到这种区别的明确例子。 我知道重载+运算符是某种形式
的
多态
性
,它在Haskell和C++中
的
实现方式不同。有人能准确地显示两种语言中
的
例子有什么不同吗?
浏览 5
提问于2013-04-28
得票数 4
1
回答
c++中
的
变体、
存在
多态
性
c++
、
types
、
polymorphism
、
variant
、
subtype
我正在进行关于
类型
系统
的
研究。在这项工作中,我将研究变体、结构子
类型
、通用
多态
性
和
存在
多态
性
在流行语言中
的
用法。功能语言,如heskell,ocaml,提供了这样
的
功能。但我想知道像C++这样
的
流行语言是否提供了上述功能。这意味着C++是如何实现
的
variantsstructural subtypinguniversal polymorphismexistential
多态
浏览 2
提问于2012-03-23
得票数 1
回答已采纳
1
回答
具有
多态
方法
的
记录是否为1级?
polymorphism
、
ocaml
据我理解: type 'a myArray = { map : 'b.('a -> 'b) -> 'b myArray; }因此,在秩-1
多态
性
中是否
存在
嵌套
类型
量词,例如这种情况?而
类型</em
浏览 5
提问于2020-10-30
得票数 1
2
回答
为什么说打字员是
存在
主义
的
?
haskell
、
typeclass
F(x)这样
存在
型
的
值是包含某种
类型
x和F(x)
类型
值
的
一对。而像∀x. F(x)这样
的
多态
类型
的
值是接受某种
类型
x并产生F(x)
类型
值
的
函数。在这两种情况下,
类型
都关闭在某个
类型
构造函数F上。 它不是forall f, exists
浏览 0
提问于2019-07-01
得票数 5
回答已采纳
2
回答
为什么OCaml对
多态
变体使用子
类型
?
ocaml
、
subtyping
我刚刚读到了,以及如何将它用于可扩展记录和
多态
变体。 然而,Ocaml对
多态
变体使用子
类型
。为什么?它是否比行
多态
性
更强大?
浏览 2
提问于2013-05-27
得票数 6
回答已采纳
3
回答
理解Tcl
多态
polymorphism
、
tcl
在Tcl中,变量和过程可以
具有
相同
的
名称...tcl中还
存在
其他形式
的
多态
性
吗?我正在看一些代码,我看到了类似这样
的
东西。
浏览 1
提问于2010-01-25
得票数 2
2
回答
多数
证明
的
唯一
性
coq
对于
具有
可判定顺序
的
类型
,是否
存在
等价于同一
性
证明
的
唯一
性
?尤其是Peano自然数
的
类型
?它是否在Coq
的
库中实现?(我找不到) 对于自然数,这似乎是正确
的
,因为n <= p看起来与n == p
的
证明
相同:它迭代地破坏n和p,直到左边
的
数字达到0,然后结束。
浏览 0
提问于2018-12-21
得票数 3
回答已采纳
2
回答
模板和
多态
性
之间
的
区别是什么
c++
、
templates
、
polymorphism
大家好,我对模板和
多态
性
有疑问。根据定义,
多态
性
提供了代码可重用
性
,而模板在某种意义上允许用户通过提供
具有
不同数据
类型
的
泛型编程来使用相同
的
代码。那么,使用
多态
性
而不是模板有什么好处呢?这可能是一个愚蠢
的
问题,但我很好奇到底有什么不同。
浏览 0
提问于2012-05-12
得票数 17
回答已采纳
1
回答
在Haskell中支持哪些
多态
性
类型
?
haskell
、
types
、
polymorphism
阅读维基百科对
的
定义,我提出了一个问题:看起来维基百科不包含一些
多态
性
类型
的
描述,比如,这对我来说是新
的
,并且在Haskell中得到了支持。我不知道是否有一个扩展
的
列表,后面是要深入研究
的
示例。 Ad
多态
性
浏览 1
提问于2019-05-27
得票数 7
回答已采纳
2
回答
如何知道它是编译时
多态
还是运行时
多态
?
java
、
polymorphism
、
overriding
、
late-binding
、
run-time-polymorphism
subclass sub1=new subclass(); }我遵循以下方法来确定它是语句1、2和3
的
编译时
多态
性
还是运行时
多态
性
: 编译器首先确定调用语句中使用
的
引用变量
的
类
类型
,然后检查源代码中是否
存在
此基
的
派生类,以及调用语句中使用
的
方法是否在派生类中过度使用。如果找到一个派生类,并且它
浏览 0
提问于2018-11-05
得票数 0
点击加载更多
扫码
添加站长 进交流群
领取专属
10元无门槛券
手把手带您无忧上云
相关
资讯
对php多态的理解
学习 Java 中最困难的部分以及如何克服它们
学Java编程了解Java重载与重写的区别
Java:Java中的多态性
匿名对象与面向对象三大特性概述
热门
标签
更多标签
云服务器
即时通信 IM
ICP备案
对象存储
实时音视频
活动推荐
运营活动
广告
关闭
领券