type-inference 相关问题

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

图形 API 针对多种请求（用户、组等）返回一个页面。该元素包含第一组元素和可用于生成下一个元素的 NextPageRequest 属性

c# type-inference microsoft-graph-sdks

回答 1 投票 0

我正在使用 mypy 并遇到了意外的行为。 Mypy 错误地推断预期类型的类型从输入导入 Generic、TypeVar、Callable、reveal_type S1 = TypeVar('S1') F1 = TypeVar('F1') 我=

python generics type-inference mypy python-typing

回答 1 投票 0

当类型谓词函数返回 false 时，TypeScript 会推断 never 类型

我正在使用一个返回类型谓词的函数来告诉 TypeScript 源明确具有或不具有媒体属性。如果它是 SourceWithoutMedia，则应该以一种方式处理，...

typescript type-inference

回答 1 投票 0

无法推断 V：从约束实现推断类型参数

我在go中有一个接口，想要支持在不同数据库中保存和加载结果，并且我想支持不同的类型。软件包 cfgStorage 类型 WritableType 接口 { 〜int | 〜

go generics constraints type-inference

回答 1 投票 0

方法的返回类型受到类的类型参数的影响，尽管类型参数没有在任何地方使用。为什么？

在下面的源代码中，为什么方法 WParam.unwrap(…) 的返回类型会受到类型参数的影响，即使它没有在任何地方使用？公共类测试类{ 无效测试（）{ ...

java generics type-inference

回答 1 投票 0

Astroid：通过类型注释推断函数参数的类型

我正在尝试使用 Astroid 为 Pylint 编写自定义 linting 规则，但我对类型推断有点困惑。我有以下代码：受保护对象类： def 保存(): 过去...

type-inference pylint astroid

回答 1 投票 0

无法推断通用 tostring 方法 C# 中的类型

我有一个自定义辅助方法，它接受一个值并确定其类型。如果它是一个可以枚举的数据结构，那么它会被传递到其各自的 ToString 方法 t...

c# types type-inference

回答 3 投票 0

如何让 TypeScript 根据条件推断元组返回类型中的对象字段？

我正在开发一个 TypeScript 函数，它根据输入参数返回不同的对象。返回类型是一个元组，其中前两个元素分别是数字和字符串，...

typescript type-inference

回答 1 投票 0

Typescript：如何从具有有限值的 const 获取可能的键？

我有以下代码：导出常量mapLayers：记录 = { 层_a：{}，层_b：{} 作为常量；导出类型 LayerId = keyof typeof mapLayers; LayerId 永远是

typescript types type-inference

回答 1 投票 0

使用 Typescript 时有没有办法推断映射类型的键？

我有一个代表我的业务运营的数据结构：常量运算 = { 列表： { 请求：“a”，响应：“b”， }, 得到： { 要求：...

typescript type-inference mapped-types

回答 1 投票 0

如何正确地对打字稿泛型进行限制

我正在创建这个类（操场链接）：导出类 CascadeStrategies< T extends Record 未知> > { 私有策略：T = {} as T；构造函数（

typescript typescript-generics type-inference

回答 1 投票 0

为什么 Typescript 无法推断出这些相关类型？

有以下代码： const foo = (标志: 布尔值) => { 如果（标志）{ 返回 { 成功：真实，数据： { 姓名：“约翰”，年龄：40 } } }

javascript typescript type-inference

回答 1 投票 0

TypeORM 原始实体的类型：CamelToSnake / ValueOf 精确匹配 / 属性方法推理

总结：在 TypeORM 中生成原始返回类型的类型您好，我正在使用 TypeORM，并且有一个关于处理原始返回类型的问题。当使用 getRawOne 和 getRawMany 函数时，ret...

typescript typeorm type-inference

回答 1 投票 0

为什么我需要在详尽的 switch 表达式中显式向下转型？

这里有一些我觉得很有趣的 dart 代码：无效主（）{ var someA = B(); 一个值 = switch (someA) { B() => B(), C() => C(), }; } A级密封这里有一些我觉得很有趣的 dart 代码： void main() { var someA = B(); A value = switch (someA) { B() => B(), C() => C(), }; } sealed class A<T extends num> {} final class B extends A<int> {} final class C extends A<double> {} 如果您尝试编译它，您会收到有关 switch 语句的错误：A value of type 'Object' can't be assigned to a variable of type 'A<num>'. Try changing the type of the variable, or casting the right-hand type to 'A<num>'. 我的问题是，为什么编译器不推断两者之间的公共父类型？（好吧，我猜想……默认为 Object。）如果你写了类似 var myThing = true ? 1.5 : 7; 的内容，dart 会将 myThing 的预期类型推断为 num。为什么这里不这样做？当然，一旦你这样做了，这一切就都解决了 void main() { var someA = B(); A value = switch (someA) { B() => B() as A, C() => C() as A, }; } sealed class A<T extends num> {} final class B extends A<int> {} final class C extends A<double> {} 相反。另外，值得注意的是，当类型参数 <T extends num> 不存在时，这个问题就不会出现——所以泛型类型的一些东西会阻止编译器推断预期的类型（或者至少是我预期的类型）。另一方面，这个稍作修改的版本可以按预期工作，无需进行转换（Dart 版本 3.3.0）： import 'dart:math'; sealed class A<T extends num> {} final class B extends A<int> {} final class C extends A<double> {} void main() { var rand = Random(); var someA = B(); var value = switch (someA) { B() => B(), C() => C(), // Dead code (message from the static analyzer). }; print(value); print(value.runtimeType); var myThing = rand.nextDouble() > 0.5 ? 1.2: 1; print(myThing.runtimeType); } 另请注意，myThing 可以推断为 int 或 double。 $ dart main Instance of 'B' B int

dart types type-inference

回答 1 投票 0

具有完整类型推断（没有类型注释）的语言是否需要类型检查？

我是类型系统和类型推断的新手。我的目标是为没有类型的 OOP 语言实现静态类型系统和类型推断算法（最接近的例子是没有动态特性的 JS ...

types type-inference language-design typechecking

回答 1 投票 0

MyPy 在 isinstance(x[idx], bool) 之后无法将 x[idx] 识别为布尔值

核心问题 MyPy 无法识别/验证返回值 x[idx] 是否为布尔类型。如果 isinstance(x[idx], bool) 为 True：返回 x[idx] 完整的示例代码从输入我...

python type-inference mypy isinstance

回答 1 投票 0

TypeScript 根据传递的键推断值类型

我遇到了一个reducer函数的典型化问题，该函数旨在更新存储在切片中的userData的任何给定属性。它需要一个带有键和值的数组，其中 t...