type-inference 相关问题

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

证明runtimeClass满足Scala中的Bound类型

我有一个方法以Parquet形式编写我的一个类Foo,该类被定义为Thrift。导入Foo导入org.apache.spark.rdd.RDD导入org.apache.thrift.TBase导入org.apache ....

回答 1 投票 0

为什么类型推断不适用于引用类型?

我写了类似下面的代码:fn foo(){let x =&1;令y = 2;令z:u32 = x * y + 42_u32; },我得到一个错误:error [E0277]:无法将u32添加到i32-> src / main.rs:11:...

回答 1 投票 0

无法理解TypeScript中keyof的语义

我有以下简单的示例,其中声明了K扩展T的key,但是为findMember推断的返回类型的结果不同,我真的不明白为什么会有这样的...

回答 1 投票 0

打字稿中相同实现的不同返回类型推断

我想了解以下两个实现之间为什么会有类型差异。他们两个都产生相同的结果,但是他们两个的返回类型都不同。 const from = [... ... >>>

回答 1 投票 0

Typescript中具有通用数组的类型推断

//通用约束类Car {print(){console.log('我是汽车')}} class House {print(){console.log('我是汽车')}}接口Printable {print ():无效; } //告诉...

回答 1 投票 0

闭包作为Kotlin默认参数后面的参数

我有一个有趣的功能 get(path:String,params:MutableMap ?= null,headers:MutableMap ?= null,resolver:ResponseResolver ):HttpRequest&... ] >>

回答 1 投票 0

多态类型的专业类型

我正在学习生锈(来自haskell背景)。而且我正在努力使用多态类型-在haskell中,我将使用Holes / GHC类型推断来确定...

回答 1 投票 3

TypeScript文件中光标下方的类型

我想研究TypeScript代码中的某些推断类型。对于正确的文件,以确保推断的类型足够具体,准确和正确,这将特别有用。给定...

回答 1 投票 0

为什么[(True,[]),(False,[['a']])],“ [(Bool,[[char]])]”类型?]

当我在ghci中键入:type [[True,[]),(False,[['a']])],“ [(Bool,[[char]]]]]”时,它会输出[(Bool,[ [char]])]。 Haskell的类型推断如何处理空列表,并且[[char]] ...

回答 1 投票 3

Haskell解释器无法推断返回类型

[我试图实现多态元组映射,并最终在GHCi中进行了以下编写:数据MaxS = MaxS类策略操作输入结果|输入->结果在哪里工作::动作...

回答 1 投票 0

TypeScript:为评估通用对象上的函数属性的函数推断正确的类型

我想定义一个像这样工作的函数:const result = valuate({x:()=> 2 * 3,y:()=>“ hello”})其中result的值是:{x: 6,y:“ hello”}据我所知,...

回答 1 投票 0

Ocaml中具有相同类型并匹配的多个名称

我正在尝试使用此库http://www.dcs.gla.ac.uk/~michele/docs/_doc/bigraph/index.html匹配面孔的不同组合(就Bigraph理论而言)这样做的功能是...

回答 1 投票 0

如何在TypeScript中获取变量的类型?

如何在TypeScript中获取变量的静态类型,以便可以在另一个变量上使用它?

回答 2 投票 0

为什么打字稿通用推理优先考虑参数而不是赋值?

Typescript泛型推论会优先考虑参数而不是赋值。因为它优先考虑参数,所以即使我将其分配给...

回答 2 投票 0


通用特征混合类型推断

我正在尝试创建工作流生成器-我的问题的简化版本显示在下面。 Scala编译器似乎无法在BuilderExtensions中填充类型参数。我正在尝试...

回答 1 投票 0

为什么Object和var变量的行为不同?

有人可以解释o2的行为吗?是由于编译器优化吗?它记录在JLS的某处吗?公共类测试{公共静态void main(String [] args){对象o1 = ...

回答 2 投票 5

为什么Object和var变量的行为不同?

有人可以解释o2的行为吗?它是编译器优化吗?它记录在JLS的某个地方吗?公共类测试{公共静态void main(String [] args){Object o1 = new Object(){...

回答 1 投票 1

C#可以从表达式参数推断其类型参数的通用方法

我正在尝试创建一种方法,该方法可以接受对象的类型作为类型参数,并引用对象的一个 属性及其类型。像这样:service.DoWork&...

回答 1 投票 1

“ def apply [T](c:T)”和“ type T; def apply(c:T)”之间有什么区别?

我有这个程序:对象B {def apply [T](c:T)= {}}对象C {类型T def apply(c:T)= {}}对象A扩展了App {val d = B { println(1); 2} val e = C {println(1); 2}}行val e = C {...

回答 1 投票 0

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