腾讯云
开发者社区
文档
建议反馈
控制台
首页
学习
活动
专区
工具
TVP
最新优惠活动
文章/答案/技术大牛
搜索
搜索
关闭
发布
登录/注册
精选内容/技术社群/优惠产品,
尽在小程序
立即前往
文章
问答
(9999+)
视频
沙龙
1
回答
依赖
类型
签名
中
的
多态
常量
?
constants
、
idris
、
dependent-type
、
parametric-polymorphism
假设我想定义一种证明,某一向量有一个确定
的
和。我也希望这个证明适用于任何Monoid
类型
的
t。我
的
最后一个尝试是定义一个带有大写字母名称
的
helper
常量
,这样Idris就不会将其与绑定变量混淆: ZERO : Monoid t => t data HasSumrem xs -> HasSum (x <+> rem) (x :: xs) 但是现在它不能猜测EndNeutral (Can't find implementat
浏览 12
提问于2019-03-10
得票数 0
回答已采纳
2
回答
NoMonomorphismRestriction有助于保持共享吗?
haskell
、
ghc
、
data-sharing
、
monomorphism-restriction
当我试图回答关于
多态
性与共享
的
问题时,我偶然发现了这种奇怪
的
行为。在GHCi
中
,当我显式定义
多态
常量
时,它不会获得任何共享,这是可以理解
的
:1346269另一方面,如果我试图通过省略
类型
签名
并禁用单态限制来实现同样
的
浏览 1
提问于2012-06-22
得票数 10
回答已采纳
2
回答
Java
中
的
多态
常数
java
、
design-patterns
、
object-oriented
、
object-oriented-design
、
api-design
我正在设计一些
多态
代码来执行数学运算。其思想是抽象出数据
的
底层表示,因为不同
的
用例需要不同
的
表示。只能使用相同
类型
的
数据执行操作。interface Datum<D extends Datum<D>> { D fuzz();我想以多形性<em
浏览 0
提问于2016-06-08
得票数 1
1
回答
状态: VarHandle.compareAndSet(VariableHandlesExample,状态,java.lang.NoSuchMethodError)java.lang.NoSuchMethodError
java
、
java-9
、
methodhandle
VarHandleExample.update(VarHandleExample.java:23)我
的
计划是
浏览 5
提问于2018-10-24
得票数 8
4
回答
Haskell
中
的
返回
类型
(仅)-polymorphism是一件好事吗?
haskell
、
functional-programming
在Haskell
中
,我从未完全接受
的
一件事是,如何拥有
多态
常量
和函数,其返回
类型
不能由它们
的
输入
类型
决定,例如 foo::Int -> a
类型
默认值: 哈斯克尔最烦人
的
事情之一。例
浏览 0
提问于2011-09-03
得票数 30
1
回答
使用基类
中
的
类型
特征
c++
、
c++11
、
polymorphism
、
typetraits
我试图理解
类型
特征
的
概念。template<typename T>{//...use operation in one way // use operation in another way} 显然,clientFunction是
多态
的
,不同
的
子级可以有不同
的
isSymmetric实
浏览 0
提问于2015-05-29
得票数 0
回答已采纳
1
回答
Scala
中
Ad
多态
性与参数
多态
性
的
差异
scala
、
functional-programming
、
polymorphism
、
parametric-polymorphism
、
adhoc-polymorphism
因此,我一直在搜索关于parametric polymorphism和adhoc-polymorphism之间
的
主要区别的文档,但我仍然有一些疑问。例如,集合
中
的
head之类
的
方法显然是参数
多态
,因为用于在ListInt
中
获取头部
的
代码与任何其他列表
中
的
代码相同。,但这并不重要) 另一方面,
类型
类被认为是即席
多态
的
.因为我们可以提供不同
的
实现,限制在
类型<
浏览 3
提问于2018-08-27
得票数 3
回答已采纳
9
回答
方法在C#
中
具有相同
的
名称和
签名
但返回
类型
不同。
c#
、
.net
、
c#-4.0
、
inheritance
、
polymorphism
我参加了一次面试,有人问我如下: 在任何情况下(比如基类
中
的
一种,派生类
中
的
一种),上面的事情都是可能
的
吗?如果是的话,是哪种
类型
的
?比如编译还是运行时
多态
?在编译时
多态
中
,如果方法
的
返回
类型
与
签名
也
浏览 12
提问于2013-03-12
得票数 27
回答已采纳
2
回答
当我感觉到在Haskell中使用对象样式
多态
消息
的
冲动时,我应该做什么?
c#
、
haskell
、
polymorphism
、
constants
我有一个跟进
的
问题.在面向对象语言中,什么是相当于
多态
类级
常量
的
惯用Haskell? 我正在使用和Haskell进行事件源
的
实验。我被困在试图找出保存和加载事件
的
逻辑。我正在为Category使用
多态
常量
,以帮助保护这个不变量,并使以后添加新
的
流
类型
变得容易。
类型
系统要求eventCategory在其
签名
中提到e,即使它在函数
中
的
任何位置都没有
浏览 2
提问于2014-02-25
得票数 4
回答已采纳
1
回答
Haskell
多态
性
的
种类和
类型
变量
haskell
、
polymorphism
在Haskell,我了解到有
类型
变量(例如。id :: a -> a),适用于
类型
签名
和种类(例如。Maybe :: * -> *),适用于
类型
构造函数和
类型
类。
类型
必须有种类
的
* (是具体
的
类型
)才能保存值。 我们使用
类型
变量来启用
多态
性:Nothing :: Maybe a意味着
常量
Nothing可以属于可能
的
类型
族。这使我相信,
浏览 6
提问于2016-08-24
得票数 4
回答已采纳
2
回答
是否可以使用
类型
注释绕过值限制?
types
、
ocaml
val reverse : '_weak1 list -> '_weak1 list = <fun>),它不会得到
多态
类型
。但是,我可以通过使用一个显式
的
list参数来使其工作: let rec aux acc = function | h :: t -> aux (h :: acc) t aux [] list 但我仍然很好奇,是否可以使用
类型
签名
强制reve
浏览 4
提问于2022-08-26
得票数 3
回答已采纳
2
回答
“真
多态
性”
的
例子?(最好使用Haskell)
c++
、
haskell
、
polymorphism
、
parametric-polymorphism
我见过很多关于“真
多态
性”
的
部分定义,例如和,但是没有一个能用两个具体
的
例子找到这种区别的明确例子。 我知道重载+运算符是某种形式
的
多态
性,它在Haskell和C++
中
的
实现方式不同。有人能准确地显示两种语言中
的
例子有什么不同吗?
浏览 5
提问于2013-04-28
得票数 4
2
回答
为什么在Haskell
中
不能推断
多态
值?
haskell
、
polymorphism
、
type-inference
、
monomorphism-restriction
数值型文字具有
多态
类型
:3 :: (Num t) => tx = 3x :: Integerf x = 3f :: (Num t1) => t -> t1x :
浏览 1
提问于2010-11-15
得票数 22
回答已采纳
5
回答
类C语言中
的
返回
类型
多态
性
polymorphism
、
return-type
为什么我们看不到C类语言允许返回
类型
中
具有
多态
性
的
可调用项呢?我可以看到额外
的
类型
推断将是一个障碍,但是我们有一个功能齐全
的
类型
推理系统(用于不同级别的“工作”)
的
。编辑:
的
返回
类型
多态
性--我
的
意思是只在返回
类型
中
重载函数
签名
。例如,C++和Java只允许形式参数
类型
中
<e
浏览 9
提问于2008-10-30
得票数 12
回答已采纳
2
回答
为什么这个
类型
只使用"-XNoMonomorphismRestriction“进行编译?
haskell
、
typeclass
我收到了一些奇怪
的
类型
错误,例如“NoInstancefor(Test a0)源于表达式
类型
签名
”。下面是我可以想出
的
最简单
的
违规代码版本: test :: a 添加该
类型
无助于:但是,添加一个Test实例确实使它能够编译: test = 0 这是不能接受
的
,因为我希望在其他地
浏览 2
提问于2014-09-03
得票数 4
回答已采纳
2
回答
Haskell隐式参数与
多态
递归
haskell
、
monomorphism
我有一个问题,关于"“章节
的
GHC用户指南。len1 :: [a] -> Int这一章说 在前一种情况下,len_acc1本身
的
右侧是单形
的
,因此隐式参数?acc不传递给递归调用。在后一种情况下,由于len_acc2具有
类型
签名
,因此对
多态
版本进行递归调用,而
多态
版本以?ac
浏览 5
提问于2020-12-26
得票数 1
回答已采纳
1
回答
如何存储和恢复
类型
擦除对象的确切
类型
?
c++
、
c++11
、
c++14
、
type-erasure
我确信我正在寻找
的
东西有一个名字,我只是不知道(如果我知道了,我可能已经找到答案了)。基本上,我想为体育实现我自己
的
轻量级std::function版本。我想用lambda初始化它,然后调用它。..); InvokableObject _invokable;现在,我可以使类在语义上类似于std::function,但是如何存储lambda的确切
类型
,以便将
类型
擦除
的
对象转换回其原始
的
具体
类型
?除非std::function
浏览 1
提问于2018-09-15
得票数 3
回答已采纳
3
回答
C++11λ
的
参数/存储
类型
c++
、
lambda
、
c++11
、
closures
在C++11
中
,如何声明以lambda表达式作为参数
的
函数?我可以在网上找到大量资源来声明lambda或将其作为模板参数,但我真正想做
的
是能够将lambda用作易于声明
的
回调处理程序,类似于JavaScript
中
的
闭包和Objective-C
中
的
代码块。从本质上讲,我想用lambda替换
的
经典C++构造是这样
的
:public: virtual ~MyCallback()
浏览 0
提问于2012-05-24
得票数 11
回答已采纳
2
回答
monads内部
多态
性
haskell
、
ghc
我试图从单变量中提取一个值,但是保留这个值,它不
依赖
于单变量,
多态
。amain = do print (x :: Double)重点是计算
中
的
一元部分是昂贵
的
,所以我只想做一次,同时将值保持在单变量
中
。到目前为止,我所有的尝试: 给予foo :: (Monad mon
浏览 5
提问于2017-03-31
得票数 15
回答已采纳
2
回答
为什么添加
多态
类型
签名
会降低性能?
performance
、
haskell
下面是一个计算斐波那契数
的
简单函数:fib = 1 : 1 : zipWith (+) fib (tail fib)354224848179261915075 -- takes under a secondfib事实上,它现在似乎是以指数时间运行
的
! 切换到
多态
类型
签名<
浏览 1
提问于2012-06-22
得票数 15
回答已采纳
点击加载更多
扫码
添加站长 进交流群
领取专属
10元无门槛券
手把手带您无忧上云
相关
资讯
苹果企业签名中让人遗忘的签名类型
Java:Java中的多态性
分享优秀Java程序员应有的编程风格
PHP面向对象详细解析
Java编程学习知识点总结基础篇—1-5
热门
标签
更多标签
云服务器
即时通信 IM
ICP备案
云直播
实时音视频
活动推荐
运营活动
广告
关闭
领券