type-inference 相关问题

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

TypeScript可以推断对象的属性吗？

我正在尝试定义用户定义的类型防护，以验证未知变量是否具有data：string属性。我的代码定义如下。类型为DataObject = {data：string};函数...

typescript types type-inference

回答 1 投票 0

为什么不能从作为委托方法的一部分的相同泛型定义的参数中推断出泛型？

我不明白为什么不能推断出对GenericMethod （）的调用。我的实际问题包含更多通用参数，从而使调用代码非常冗长且难以阅读。 ...

c# generics delegates type-inference

回答 3 投票 1

“为C ++类型推断对已知类型的对象进行材质化]

以下代码在我尝试过的每个C ++ 11和更高版本的编译器中完成了我需要的一切。因此，实际上，就我的目的而言，它可以正常工作（并且至少在Linux上，有望在...

c++ c++11 language-lawyer undefined-behavior type-inference

回答 3 投票 0

Java编译器为什么不能从约束推断Iterable Iterable扩展CharSequence>和（）->（Iterator ） ] >>

[背景：我最近写了一个答案，建议我编写以下代码：Files.write（Paths.get（“ PostgradStudent.csv”），Arrays.stream（PGstudentArray）.map（Object :: toString）.collect（。 ..

java lambda type-inference jls

回答 2 投票 6

如何使用数字[T]表示任何数字类型的零

我有一段Scala代码，我想使其更加通用。我知道Numeric [T]存在，但是我不确定如何使用它。 def sumMaps [A]（m1：Map [A ，Long]，m2：Map [A ，Long]）：Map [A ，Long] = {...

scala generics type-inference

回答 1 投票 2

如何使用数字[T]表示任何数字类型的零值

scala generics type-inference

回答 1 投票 2

对方法的约束取决于作用域中的实例吗？

考虑此代码：{-＃语言FlexibleInstances，UndecidableInstances＃-}模块Y，其中类C m，其中x :: m实例{-＃可重叠＃-} Monoid m => C m，其中，x = mempty ...

haskell type-inference typeclass

回答 1 投票 3

为什么类型参数比方法参数更强

为什么是公共 > Builder withX（F getter，R returnValue）{...}比公共更严格 Builder with（Function getter，R ...

java generics lambda type-inference

回答 1 投票 6

在打字稿泛型中使用通配符[重复]

这可能是一个简单的解决方案，但我还没有遇到。给定像func （（param1：T，param2：D）{...}这样的打字稿函数，我用两个参数param1 ...

typescript generics type-inference

回答 1 投票 0

Typescript：转换所有函数参数的通用函数类型

在我的项目中，我使用的是称为Data 的通用类型，它以某种方式转换给定类型X。现在，我想创建一个通用函数类型DataFunction ... ...> ] >>

typescript typescript-typings type-inference typescript-generics

回答 1 投票 2

为什么C＃无法从非泛型静态方法的签名推断出泛型类型参数类型？

我已经进行了以下推理测试：静态类InferenceTest {静态void TakeInt（int a）{}静态int GiveInt（）{return 0; } static int TakeAndGiveInt（int a）{return 0; ...

c# generics type-inference

回答 2 投票 10

Groovy无法推断方法的返回类型

我正在尝试检查一个简单的Groovy脚本：@ groovy.transform.TypeChecked类C {def fn（）{return“ result”} def ln（）{return fn（）。length（）}}新C （）.ln（）我的期望是...

groovy type-inference return-type typechecking

回答 1 投票 0

推断地图中键的类型（同时在地图中键入值）

我想从地图上推断出钥匙的类型。我可以成功做到：const componentStyles = {按钮：{颜色：'红色'}，标题：{fontSize：18，lineHeight：28}，body：{fontSize：12，...

typescript type-inference

回答 1 投票 1

快速类型检查在很短的功能上花费的时间太长

swift type-inference

回答 1 投票 17

如何通过合同强制客户端代码初始化Kotlin中所有必需的构建器字段？

[在JetBrains开放日2019上，据说Kotlin团队研究了合同并试图实施上下文合同，该合同只允许在某些上下文中调用函数，例如，函数...

generics kotlin type-inference contract

回答 1 投票 4

TypeScript类型可将对象类型的某些属性动态标记为“必需”和“定义”？

我一直在尝试为函数useDefaults使用泛型类型，类型如下：ValuesOf = T扩展了readonly any []吗？ T [number]：从不；类型...

typescript generics type-inference

回答 1 投票 1

无法从SPRS库初始化TriMat矩阵

我试图使用稀疏矩阵库SPRS时遇到了问题初始化一个矩阵。为什么这个不行？ EXTERN箱的SPR;使用的SPR :: TriMat; FN的main（）{让MUT矩阵= TriMat :: ...

syntax rust type-inference

回答 2 投票 1

描述咖喱状态处理器的类型与反应，打字稿

我试图描述它处理更改事件，以反映状态值的函数的类型。所需的实现看起来像：handleChange：ChangeHandler = ...

reactjs typescript generics type-inference

回答 2 投票 3

在功能打字稿自动捕获阵列型可变

我试图代码：第n（[ '一'， 'B']，1）//第n个功能（○：串[]，K：1）：第n个串（[ '一'， 'B']，1）//第n个功能

typescript generics type-inference

回答 2 投票 0

“DEF someFun [_]（A：强度）=一”，没有警告和没有错误。正常？

出于好奇，我试图运行以下命令：DEF someFun [_]（A：强度）=一个令我惊讶的是，没有任何错误或警告拿到签发的，它运行你希望它的方式（这是很好的，我想），但它...

scala types type-inference

回答 1 投票 4

type-inference 相关问题

最新问题