腾讯云
开发者社区
文档
建议反馈
控制台
首页
学习
活动
专区
工具
TVP
最新优惠活动
文章/答案/技术大牛
搜索
搜索
关闭
发布
登录/注册
精选内容/技术社群/优惠产品,
尽在小程序
立即前往
文章
问答
(9999+)
视频
沙龙
1
回答
Haskell
类型
演绎
问题
haskell
我的代码包括以下几行(去掉了一些无关的东西;w返回YN2
类型
的东西,g是一个RandomGen)。eps应该是一个小的正实数。似乎存在某种
类型
不匹配,但我不知道如何让
Haskell
合作。我已经将它从更复杂的原始代码中分解出来,
问题
似乎就在这里的某个地方,但我完全不知道它可能是什么。谢谢!
浏览 7
提问于2020-05-03
得票数 0
回答已采纳
1
回答
不通过GADT匹配和功能依赖推断的
类型
haskell
我对
Haskell
类型
系统有一个误解,我认为这种误解可能很常见,但我找不到对这个简单示例显示的特定
类型
检查失败的解释: {-#LANGUAGE GADTs, FunctionalDependencies我认为,执行这样的
演绎
是声明函数依赖的全部意义。
浏览 1
提问于2022-05-23
得票数 4
回答已采纳
2
回答
Haskell
GADT 'Show'-实例
类型
-变量
演绎
haskell
、
type-inference
、
gadt
、
type-variables
注释掉最后一行修复了
问题
,并检查了Expr在GHCi中的
类型
,结果表明,与推断Eq为Eq a => (Expr a) -> (Expr a) -> Expr Bool
类型
不同,GHC实际上推断它为data由于我仍然是一个
Haskell
新手,我甚至不确定,这是否能在某种程度上起作用,因为我最初的猜测是,为什么GHC一开始就没有推断出“正确”的/desired
类型
。编辑:extract (Eq x _) = x 对于该文件(没有
类型
浏览 2
提问于2017-09-06
得票数 3
回答已采纳
2
回答
模板
类型
演绎
问题
visual-studio-2010
、
c++11
、
rvalue-reference
我有一个variant类。它有一对构造函数:template <typename T>variant (const T& t) YYASSERT (sizeof (T) <= S);} inline{ new (buffer.raw) T(std::move(t));
浏览 0
提问于2011-08-05
得票数 0
回答已采纳
2
回答
C++“
类型
推断”和
Haskell
“
类型
推断”有什么区别?
c++
、
haskell
、
types
、
type-inference
在英语语义学中,“
类型
推断”是否等于“
类型
推断”? 谢谢。
浏览 7
提问于2016-04-07
得票数 7
1
回答
当中间值从未被具体键入时,
Haskell
编译器是如何为`(==) (fromInteger 0) (fromInteger 0)发出代码的?
haskell
、
instance
我的
问题
是在存在模糊
类型
的中间值的情况下,
类型
类实例的
演绎
。根据
类型
推理规则,由a表示的
类型
变量在不同的术语中具有兼容的Num a约束,因此它们成功地统一在一起。但是,a从不绑定到具体
类型
。我的
问题
是,在运行时,(==)函数使用哪个实例字典(或专门化)?这是
Haskell
依赖于简单的二进制memcmp样式比较的情况吗?或者,它只是在其Num实例列表中选择第一个实例,因为理论上这不重要(只要正确实现了该实例的代数属性.)
浏览 0
提问于2019-01-02
得票数 4
回答已采纳
1
回答
演绎
指南和注入的类名
c++
、
c++17
、
type-deduction
auto f(Iter a, Iter b) return X(a, b);}; X(Iter a, Iter
浏览 0
提问于2018-07-03
得票数 8
回答已采纳
2
回答
可以根据接受的功能在模板中添加正确的
类型
吗?
c++
、
templates
、
c++17
、
type-deduction
我有一个复杂的
问题
,可以归结为下面的
演绎
指南void accep_float(float arg) {(void)arg; } accep_float(return_r());我是否可以提供一个
演绎
指南,让模板按照接受函数来
演绎
正确的
类型
,比如float这里的accep_float
浏览 9
提问于2022-05-30
得票数 0
2
回答
模板参数扣减是否考虑返回
类型
?
c++
、
templates
根据本书,模板参数
演绎
不考虑返回
类型
。 在扣减中考虑返回
类型
的任何示例都会有所帮助。
浏览 7
提问于2017-10-04
得票数 4
回答已采纳
2
回答
变量模板和
类型
演绎
问题
c++
、
c++11
、
type-conversion
、
variadic-templates
在的第15题中,我对结果感到困惑。 P(3);} void foo(int a, A... args) { P(a);void
浏览 1
提问于2013-11-01
得票数 1
回答已采纳
1
回答
自动
类型
扣减哪个是正确的?
c++
、
c++11
、
auto
我有点困惑于模板
类型
的
演绎
。但是当涉及到汽车时,它会变得更加令人困惑。我希望我试图提供的例子能总结出我的困惑。.......{{std::pair<const std::string, int> 我的
问题
是,我在for循环中编写的代码对auto推导的
类型
有影响吗?编译器是否试图找到将循环中的代码与自动
演绎
的代码匹配的方法?
浏览 1
提问于2015-11-19
得票数 0
回答已采纳
3
回答
Haskell
名称声明规则
haskell
、
declaration
我正在自学
Haskell
,我遇到了两个“翻转”函数的实现,这两个实现向我提出了关于名称声明的
问题
。即使没有
类型
签名,它也可以编译...这可以很好地工作: where g x y = f y x 那么x和y仅仅是完全无
类型
的变量吗?或者是发生了什么别的事情?
浏览 0
提问于2013-07-11
得票数 2
回答已采纳
2
回答
std::make_array公共
类型
的基本原理
c++
、
c++17
使用常见的
类型
。但是,我的主要
问题
是,它允许代码编译,否则不会编译:void foo(T a, T b)} {这里使用普通
类型
的理由是什么?
浏览 2
提问于2017-04-15
得票数 5
2
回答
演绎
类型
c++
、
c++11
、
effective-c++
我试图理解
类型
推断,而走在斯科特迈耶的有效现代C++。type is const int&他说,由于paramType是一个参考,我们可以通过两个步骤来推断T的
类型
忽略expr中的引用(如果有的话)(即x、cx和rx) 对const的paramType
浏览 8
提问于2017-03-27
得票数 1
回答已采纳
3
回答
模板
演绎
指南可以调用常数函数吗?
c++
、
c++17
、
constexpr
、
template-argument-deduction
我有自己的固定大小数组
类型
,我希望可以从constexpr构建std::initializer_list,而不必显式定义size模板参数。我想我可以使用模板
演绎
指南,但看起来它并没有将std::initializer_list::size()作为一个函数来处理。下面是一个尝试为std::array (类似于我的
类型
并有相同
问题
)编写一个
演绎
指南的示例:{ template<typename T> array(initializer_listmyArray2
浏览 0
提问于2019-01-06
得票数 14
回答已采纳
2
回答
返回并自动扣减std::initializer_list
c++
、
c++11
}(); //explicit为什么不能返回并自动推断std::initializer_list的
类型
浏览 1
提问于2013-06-30
得票数 9
回答已采纳
2
回答
当涉及依赖作用域的内部类时,如何让C++找到模板化的函数头?
c++
、
templates
、
inner-classes
v) : val(v) { } { }为了排除任何访问控制
问题
我猜这是模板查找或匹配的
问题
,但是我如何告诉编译器如何解决它呢?
浏览 0
提问于2014-07-25
得票数 3
3
回答
Lambda
类型
演绎
c++
、
lambda
、
return-value
、
type-deduction
variable;char y = dothings(2l); 基本上,我很好奇的是,lambda内部的变量是否有可能推断出返回值被赋值的
类型
浏览 17
提问于2018-08-29
得票数 4
回答已采纳
3
回答
模板参数
演绎
不像在结构化绑定中那样工作
c++
、
generics
、
stl
我被正式告知(一些书籍或网络),auto中的
类型
演绎
与template中的参数
类型
演绎
相同。虽然模板版本将T
演绎
为int
类型
,而不是const int &
类型
。为何这两宗个案有不同的扣除结果?
浏览 8
提问于2020-07-16
得票数 0
回答已采纳
2
回答
模板
类型
演绎
c++
、
type-deduction
我的意思是我知道class type_name = type,但是为什么在class =中没有
类型
名称?我什么时候能用?
浏览 6
提问于2016-06-16
得票数 4
回答已采纳
点击加载更多
扫码
添加站长 进交流群
领取专属
10元无门槛券
手把手带您无忧上云
相关
资讯
类型_Haskell笔记3
什么是问题?问题有几种类型?
关于宏函数的参数类型问题
MariaDB 日期类型格式的长度问题
Python-函数参数类型及排序问题
热门
标签
更多标签
云服务器
即时通信 IM
ICP备案
对象存储
实时音视频
活动推荐
运营活动
广告
关闭
领券