type-inference 相关问题

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

检查对象是否是Swift中的给定类型

我有一个由AnyObject组成的数组。我想迭代它，并找到所有元素作为数组实例。如何在Swift中检查对象是否属于给定类型？

swift type-inference typechecking

回答 16 投票 228

在声明部分函数时，获取“扩展函数的缺少参数类型”错误

我在声明部分函数的类型推断方面遇到了一些问题。我尝试了下面的Scalatest代码：class FunSpecTest扩展FunSpec {describe（“Partial Function Test”）{...

scala intellij-idea type-inference scalatest

回答 1 投票 0

除非指定了参数类型，否则Java无法编译通用lambda参数

在测试时，我将我的Junit升级到5.0（因此用新版本替换了我的一些assertTrue（）方法）。在这样做之后，我发现我的一个测试没有编译。我将问题减少到......

java generics type-inference

回答 2 投票 7

Haskell如何推断（+）的类型。（+）

为什么（+）。（+）的类型是（Num a，Num（a - > a））=> a - >（a - > a） - > a - > a？（+）:: Num a => a - > a - > a（。）::（b - > c） - >（a - > b） - > a - > c我试过但......

haskell type-inference

回答 6 投票 5

如何手动将泛型参数传递给方法

我有方法：public static 流 stream（JSONArray数组）{return IntStream.range（0，array.length（））。mapToObj（i - > {try {return（T）array.get（i）; ...

java generics type-inference

回答 1 投票 0

推断函数参数类型并将它们传播到Typescript中

给定一个函数类型F，我想创建一个“在F之前可组合”的新类型，这意味着它接受并返回F所采用的相同参数。例如：const stringToNumber =（s：string）=> ...

typescript types type-inference

回答 1 投票 1

TypeScript在类型构造函数中推断回调返回类型

我想为一个函数编写一个类型构造函数，它接收一个类型S和一个从S到另一个类型的函数，然后在S上应用该函数并返回结果：//这个有效，但它是绑定的......

typescript generics type-inference

回答 1 投票 0

使用复杂的“isEmpty”检查时键入推断

我有以下函数，它的工作方式与ramdas isEmpty类似，但是根据我自己的需要量身定制：/ ** *检查值是否为空。 *对于以下情况，它将返回true：* null，undefined，...

typescript type-inference

回答 1 投票 0

预计XYZ找到（）

例如：使用期货:: future :: Future; fn main（）{let（stop_tokio，time_to_stop）= tokio :: sync :: oneshot :: channel ::（）; let handler = std :: thread :: spawn（|| {tokio :: run（...

compiler-errors rust type-inference rust-tokio

回答 1 投票 0

将W算法扩展到容器

我想将W算法扩展到F＃中的元组和列表的推断，先验，只有两个规则要添加，但是，我做了，但结果是部分坏。的确，如果我测试一下......

f# type-inference hindley-milner

回答 1 投票 1

预期3个类型参数但得到1但它应该推断出2种类型

我想知道如何正确推断我的函数的第2和第3个模板假设一个简单的接口接口ISome {a：string; b？：{c：string; };跟随作品功能......

typescript type-inference extends keyof

回答 1 投票 2

在属性中推断泛型类型（如在函数中）以进行正确的类型检查

我试图让编译器推断并检查泛型属性中的类型。特别是我有：类型Args = {instance：O，key：{[keyof O中的K]：T扩展O [K] ...

typescript type-inference typescript-generics

回答 1 投票 -1

具有不同类型的条件（三元）算子的局部变量型推断

var test =“Hello World！”;在Java 10+中，上面的代码片段编译，并且在编译时测试被推断为String。但是，我们可以使用条件（三元）运算符返回不同的...

java var type-inference java-10

回答 1 投票 1

用于重载函数的Hindley-Milner类型推断

当有重载函数时，Hindley-Milner算法如何工作？它以一种简单的形式（没有重载）看起来很干净：y = arr [x1] //它是Generic。 x1：int，arr：T []，y：T z = y + 1 // z：...

functional-programming compilation type-inference hindley-milner

回答 1 投票 3

从函数参数中推断模板类型

我不确定问题的标题，但基本上我很好奇如何创建一个类似访问者的函数，可以对正确使用类型推断的集合上的某些类型进行操作。 ...

c++ templates c++17 type-inference

回答 3 投票 3

哪种编程语言支持将自己作为参数的函数？

我正在做一个学术练习（个人成长）。我想找到一些编程语言，它们允许你定义能够接受自己的函数（即指向自己的指针）......

ocaml type-inference type-systems hindley-milner anonymous-recursion

回答 7 投票 6

为什么不过载？

写在Jooq助手类上。（一旦我想出来，就会添加更多特定于业务的方法......）import org.jooq。* import org.springframework.stereotype.Repository import javax ....

java kotlin overloading type-inference overload-resolution

回答 1 投票 4

什么时候在Java中进行类型检查

我的作业中有一个问题，看起来像这样。只有在Java编译期间才会发生以下哪个过程？（i）类型推断 - 推断其类型的变量的类型......

java generics type-inference type-erasure typechecking

回答 1 投票 5

Typescript重载，可选参数和类型推断

我目前正在寻找Typescript中的重载。假设我有一个带有一个重载的函数：function method（）：void; function方法（foo：boolean，bar：boolean）：void;函数方法（foo？：boolean，...

typescript overloading type-inference

回答 1 投票 1

类型推断支持Javascript

我尝试使用Compiler API处理JavaScript代码并使用Type inference来预测'object.property'PropertyAccessExpression节点中的'object'类型。简单的样品，如第一次样品吹制......

javascript typescript type-inference

回答 1 投票 0

type-inference 相关问题

最新问题