type-inference 相关问题

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

枚举接口数组的类型演绎失败。

在下面这个最小的例子中，useFoos(a)完全没有问题，但是useFoos(b)却给出了一个编译器错误。接口 FooInterface fun useFoos(foos: 阵列 ) {} enum class FooEnum : ...

kotlin interface casting type-inference type-deduction

回答 1 投票 0

TypeScript：在注解对象中推断类型的泛型。

我有一个名为RouteConfig的通用类型，我想在一个名为route的对象中使用。/ 通用类型类型RouteConfig = { path: string; component: (params: ...

typescript generics type-inference

回答 1 投票 0

带字符串的自动

#include #include int main() { const char a[] = "hello world"; const char * p = "hello world"; auto x = "hello world"; if (typeid(x) == typeid(a)) ...

c++ c++11 type-inference auto string-literals

回答 3 投票 21

在证明基本函数应用规律时，理解agda中的类型推理问题。

我正在尝试证明函数应用的身份法则。我对下面的所谓身份函数apfId，得到黄色高亮。我不明白，难道_≡_ {A}的类型不是 ...

types type-inference agda induction

回答 1 投票 0

当有明确的引用类型时，C#可以推断出对象构造上的泛型参数吗？

当明确给出引用类型时，Java可以推断出通用类型参数。例如，这两种情况都可以。Set set = new HashSet (); 设置 set2 = ...

c# generics type-inference

回答 1 投票 0

Typescript推断该字段是真实的(不能是未定义的)，没有用户定义的类型保护。

type Item = { left? { photoSrc: string }; }; type ItemRequired = { left: { photoSrc: string }; }; const item: Item = {} as any; if (item.left) { const itemRequired: ItemRequired = item; ...

typescript undefined type-inference typeguards

回答 1 投票 0

为什么这段代码在java 11中能正常编译？

下面是代码： import java.util.*; public class Main { public static. T defaultIfNull(T object, T defaultValue) { return object != null ? object : defaultValue; } ....

java generics type-inference

回答 1 投票 0

如何解决用reactjs构建的jest Shallow测试中组件变量的类型推理？

我的方案是一个用typescript建立的react项目，特别是关于一个单元测试，涉及到Enzyme的浅层。我正在用tsconfig参数 "noImplicitAny "对准项目......

reactjs typescript unit-testing type-inference shallow-copy

回答 1 投票 0

Scala 3中类型推理的变化

Scala 3在类型推理方面会带来哪些变化？目前文档中只是简单的说明TODO。例如，Weak conformance Scala 2.13 scala> val i: Int = 42 val i: Int = 42 scala> val c: ...

scala type-inference dotty

回答 1 投票 3

智能投向'ObserverT！'是不可能的，因为'item.get()'是一个复杂的表达式。

我将一段Java代码转换为Kotlin（Android Studio的自动转换功能），得到了下面这个错误。Java方法看起来是这样的： ** *对观察者的弱引用列表。** *观察者的弱引用列表。* ...

java android kotlin rx-java type-inference

回答 1 投票 0

根据对象从第一个参数推断出第二个参数。

我有一个接口，叫做FormState，我用它来检查我在react中的状态。我试图创建一个函数，它将根据键更新状态，并自动推断出正确的类型......。

reactjs typescript type-inference

回答 1 投票 0

如何推断联合体的通用类型参数？

我想推断一个联合体的泛型参数，就像后面的代码一样，InferValueTypes应该是什么？InferValueTypes应该是什么？接口 WithValue {}接口ValuedNumber扩展了WithValue。 {} ...

typescript generics union type-inference

回答 1 投票 2

仅存在隐式转换，尽管从未应用，但仍可以编译程序

考虑方法f，它由类型构造函数F [_]和适当的类型A参数化def f [F [_]，A]（v：F [A]）= v让我们尝试将其应用于新的Bar scala > class Bar class Bar scala> def f [F [...

scala type-inference implicit-conversion type-parameter type-constructor

回答 1 投票 4

实现类型推断

我在这里看到一些有关静态类型与动态类型的有趣讨论。由于编译类型检查，更好的文档代码等，我通常更喜欢静态类型。但是，我同意它们这样做...

compiler-construction functional-programming language-design type-inference

回答 5 投票 90

打字稿在索引签名后推断原始对象类型

假设我有这个对象：const styles = {product：{color：'blue'}};并以此推断对象类型，我可以毫无问题地访问foo.bar.baz。但是，如果我想输入...

typescript type-inference

回答 1 投票 0

为什么在嵌套的Iterator上展平，为什么我需要类型归属？

（（new Iterator [List [Int]] {def hasNext：Boolean = ??? def next（）：List [Int] = ???}）。flatten给出错误：value flatten不是Iterator [List的成员[Int]] [错误]可能的原因：也许是...

scala type-inference ascription

回答 2 投票 5

如何在用reactjs构建的Jest Mount测试中修复组件变量的类型推断？

我的场景是一个内置于打字稿中的react项目，特别是涉及涉及来自Enzyme的安装的单元测试。我正在使用tsconfig参数“ noImplicitAny”对齐项目：...

reactjs typescript unit-testing type-inference mount

回答 1 投票 0

如何在用reactjs构建的笑话测试中修复组件变量的类型推断？

我的场景是一个内置打字稿的React项目，特别是关于单元测试的项目。我正在使用tsconfig参数“ noImplicitAny”对齐项目：是的，我想知道如何...

reactjs typescript type-inference tsconfig

回答 2 投票 0

使用多态函数作为参数

我有一个函数exec，它接受3个参数并将作为第一个参数传递的函数f应用于其他两个参数-p1和p2。 def exec [T]（f：（T，T）=>布尔值，p1：T，p2：T）= f（p1，p2）...