type-inference 相关问题

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

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

无法推断Rust的递归枚举中泛型的类型

我正在Rust中使用递归枚举。我有以下代码:枚举Rdd 其中G:(Fn(&T)-> H),{Data(Vec ),Map(G,Box >)} ...

回答 1 投票 1

C#在推断出的操作中抛出异常,可以解决重载问题

我遇到了一个非常烦人的类型系统案例。我已将代码降至最低要求,以说明问题所在。使用系统; //一些接口或基类,没关系...

回答 1 投票 3

为什么std :: mem :: drop`与特质范围较高的闭包| _ |()不完全相同?

std :: mem :: drop的实现记录如下:pub fn drop (_ x:T){}因此,我希望闭包| _ | ()(俗称马桶盖)是...

回答 1 投票 4

Haskell中的类型

我是Haskell的新手,我很难理解推断类型和此类如何工作。 map ::(a-> b)-> [a]-> [b](。)::(a-> b)->(c-> a)-> c-> b什么...

回答 4 投票 9

是否可以从`any`类型中推断类型?

我想做这样的事情:接口Foo {a:string; b:T; }函数createFunctions(item:Foo []){返回items.map(item =>()=> {...

回答 1 投票 2

条件类型中类型推断的问题

类型CtorParamsType = T扩展{new(... args:infer U); }? U:任何;类MyType {构造函数(名称:字符串,年龄:数字){}}类型T1 = CtorParamsType //任何...

回答 1 投票 0

如何使TypeScript推断动态new()调用的类型

我正在动态创建子类,我希望工厂函数知道子类的返回类型。我可以通过强制转换来实现,但是我想知道是否有一种无需......>

回答 1 投票 1

为何泛型超类型的Java类型推断在此中断?

给出此Java代码:import java.util.AbstractMap.SimpleEntry;导入java.util.Arrays;导入java.util.List;导入java.util.Map.Entry;导入java.util.Optional;公共类测试{public ...

回答 2 投票 3

vscode和monaco编辑器之间的不同Typescript推理管理

我刚刚做了一个复杂的函数,它带有3个参数:名称,类型和方法。此功能将方法存储在商店中。它从第二个参数推断出第三个参数的返回类型。 addMethod.d ....

回答 1 投票 0

AssertJ:类型推断失败:没有足够的信息来推断org.assertj.core.api.Assertions.fail中的参数T

[在一个纯Kotlin项目中,我正在使用JUnit Jupiter 5.5.2和AssertJ 3.10.0。以下测试成功执行:@Test fun`Validate something`()= runBlocking {try {//声明...

回答 1 投票 0

为什么打字稿可以使用双重否定而不是布尔构造函数来推断非null类型?

下面的示例说明了一个事实,即打字稿在使用双重否定(!!)将其转换为布尔值时,可以推断someVal不为null,而在使用...强制转换(更明确地)时,则不能这样。 [

回答 1 投票 1

Typescript类的静态推断

import {FilterQuery} from“ mongodb”;抽象类Base > {public static async findOne >(this:new(... a:any [])=> T,...

回答 1 投票 0

TypeScript何时使用结构化类型?

给出下面的类型,为什么编译器允许下面的赋值?我猜想它与在某些情况下使用结构化类型的TypeScript有关(即,由于成功和失败是...

回答 1 投票 2

为什么类型推断在分配期间不起作用,而在添加过程中却不起作用

我正在使用rust_decimal板条箱制作应用。我的应用程序的一部分涉及值'1'是操作数的操作,因此我尝试使用num_traits :: identities :: one()并遇到了一些意外的问题...

回答 1 投票 2

推断打字稿中的映射参数类型

我正在使用具有有趣的类型声明(简化)的库:类Emitter {public on (eventName:EventName,...

回答 1 投票 0

Typescript推断联合类型而不是指定类型

我想将“元数据”嵌入到类型中,以用于创建类型安全的REST客户端。想法是使用链接中的类型元数据来推断用于API调用的正确端点模式。例如。 ...

回答 1 投票 0

使用Dart语言的实验性扩展方法时的类型推断

[当我让Dart分析以下示例时...扩展MyList 在List {List mapToList (T函数(T)转换)=> this.map (convert).toList() ; } ....

回答 1 投票 0

为什么Java不能推断超类型?

我们都知道Long扩展Number。那么为什么不编译呢?以及如何定义方法,使程序无需任何手工转换就可以编译?导入java.util.function.Function;公共...

回答 6 投票 18

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