type-inference 相关问题

类型推断是使用类型系统定义的规则自动推断程序类型的过程。

为什么TypeScript无法从过滤后的数组中推断类型?

下面是一些示例代码。 TypeScript推断validStudents的类型为Students []。对于所有阅读该代码的人来说,显而易见的是,由于所有无效记录均被过滤掉,validStudents ...

回答 1 投票 1

推断TypeScript中的通用函数类型

我正在创建一个函数来创建Redux动作(例如redux工具包中的createAction)。我需要一个将返回动作生成器的函数,并且我希望此生成器基于... ...>

回答 1 投票 1

如何让编译器说出它认为表达式是什么类型?

是否有一种方法可以让Kotlin编译器确切地告诉我它认为表达式是什么类型?所以例如给定(1 + 2),它将打印Int。更好的示例:(if(args.isEmpty())1 else 2.0)应该...

回答 1 投票 1

为什么使用“ Self”作为参数类型会引起生命周期错误?

我目前正在与https://raytracing.github.io/books/RayTracingInOneWeekend.html一起关注,但我正在Rust中实现所有功能。这是我的矢量实现的摘录:Scalar = ...

回答 1 投票 7

kotlin-更新kotlin版本时类型推断和类型不匹配

我在理解下面的代码时遇到了一些困难:fun helperMethodNameA(someId:String,rules:RulesObject){val content = JsonNodeFactory.instance.arrayNode(...

回答 1 投票 0

为什么添加定义会更改语言环境导入的类型正确性?

考虑此示例-请注意,F1和F2是相同的。理论从头开始导入主要开始语言环境F0 =修正含义:::'model⇒'a set›(“⟦_⟧”)语言环境F1 = F0 +修正γ:: ‹'a集合⇒'...

回答 1 投票 2

为什么使用“ Self”作为参数类型会引起生命周期错误?

我目前正在关注https://raytracing.github.io/books/RayTracingInOneWeekend.html,但我正在Rust中实现所有功能。这是我的矢量实现的摘录:Scalar = f64; ...

回答 1 投票 4

Intellij IDEA在“专有”类型名称后加并加减号,为什么?

这在我身上经常发生,所以可能我的设置有问题或其他原因,也许还有另外一种解释?问题是:Gen [A_]是什么类型?特别是A_(注意...

回答 1 投票 0

typescript动态创建具有嵌套结构的接口

@ jcalz关于如何动态创建接口有一个很好的答案:Typescript动态创建接口但是我想知道我们是否可以对嵌套结构和...进行相同的操作...]

回答 1 投票 -2

如何使类型推理对遵循嵌套通用接口的实例起作用?

此最小示例界面Foo {fun foobinate(value:T)}界面Bar 类AFoo :Foo {重写fun foobinate(value:T){}}类别ABar ...] > ] >>

回答 1 投票 2

如何在不传递类型参数的情况下调用扩展方法?

我有以下几种类型:公共抽象类Game 其中TRules:new(){public TRules Rules {get;组; } = new TRules(); }公共类板球:...

回答 1 投票 0

类型推断的可靠性如何?

我刚刚开始学习打字稿,并遇到类型推断。现在,根据指导者的意见,不是用类型初始化变量而是依靠类型推断的最佳实践,而是...

回答 1 投票 1

为什么类型推断算法由于'Fun.flip Option.bind'而引起混淆?

模块中函数声明的通用签名是最后一个参数具有主要状态类型(Module.t)时。就像在“列表”模块中一样。这种形式可以使用'|>'...

回答 1 投票 0

推断方法返回类型,它是另一种类型的通用类型

我有一个实现的通用基类:公共抽象类Setting :ISetting {public T DefaultValue {get; }}公共类SubscribeToNewsletterSetting:设置

回答 1 投票 1

Rust编译器为什么可以在单独的行上推断类型,但如果组合成一行则不能?

为什么允许这样做:let payload =“ key1 = value1”; let值:Vec = payload.split(“ =”)。collect();让值=值[1]; println!(“ value is {:?}”,value);但这不是:让有效负载= ...

回答 3 投票 -1

为什么Rust编译器可以用分隔行来推断这种情况,但是如果是内联则不能?

为什么允许这样做:let payload =“ key1 = value1”; let值:Vec = payload.split(“ =”)。collect();让值=值[1]; println!(“ value is {:?}”,value);但这不是:让有效负载= ...

回答 3 投票 0

Rust推断不可能用内联,但是当分成两个分配时允许使用

为什么允许这样做:let payload =“ key1 = value1”; let值:Vec = payload.split(“ =”)。collect();让值=值[1]; println!(“ value is {:?}”,value);但这不是:让有效负载= ...

回答 3 投票 0

如何能够基于联合类型区分两个对象?

我想实现tryInline,它应该尝试调用函数并根据调用的成功或失败返回两种对象。如果成功调用了fn参数,请tryInline ...

回答 1 投票 1

Iterable >无法确认函数中的泛型T

这是我的问题。 const iterable = [[[[1,2,3]]] function flat (t:Iterable >):Iterable {return [... t] [0]} const flatted = flat(iterable)/ / return Iterable&...

回答 1 投票 0

TypeScript类属性查找方法类型推断

我正在努力获取类型推断以用于类属性查找。我想要的是:类Family {公共成员:T公共查询

回答 1 投票 1

© www.soinside.com 2019 - 2024. All rights reserved.